Joint Papers

• 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