Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Andrzej Wasowski
Professor
IT University Copenhagen
Latest
Towards a Proof System for Probabilistic Dynamic Logic
Risk-Averse Planning and Plan Assessment for Marine Robots
Formal Specification and Testing for Reinforcement Learning
Behavior Trees and State Machines in Robotics Applications
Symbolic Semantics for Probabilistic Programs
A Specification Logic for Programs in the Probabilistic Guarded Command Language
Behavior Trees in Action: A Study of Robotics Applications
Cite
×
