Latest

• Compositional Symbolic Execution Semantics
• Symbolic State Partitioning for Reinforcement Learning
• Symbolic State Seeding Improves Coverage of Reinforcement Learning
• 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