Search

Einar Broch Johnsen
Einar Broch Johnsen
  • Home
  • Talks
  • Publications
    Recent All
  • Projects
  • Sirius
  • Service
  • Courses
  • Contact
  • Light Dark Automatic
Andrzej Wasowski

Andrzej Wasowski

Professor

IT University Copenhagen

Joint Papers

  • A Specification Logic for Programs in the Probabilistic Guarded Command Language
  • Behavior Trees in Action: A Study of Robotics Applications

© 2023 Einar Broch Johnsen. This work is licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite
Copy Download