Maximizing Reachability Probabilities in Rectangular Automata with Random Events
Joanna Delicaris
•
•
1 min readRead more
Arch-Comp25 Category Report: Stochastic Models
Alessandro Abate
•
•
1 min readAn Adaptive, Provable Correct Simplex Architecture
Benedikt Maderbacher
•
•
1 min readOn the Applicability of Hybrid Systems Safety Verification Tools from the Automotive Perspective
Decidable Reasoning about Time in Finite-Domain Situation Calculus Theories
Till Hofmann
•
•
1 min readControlling Timed Automata against Mtl Specifications with Tacos
Till Hofmann
•
•
1 min readRobot Swarms As Hybrid Systems: Modelling and Verification
Recent Developments in Theory and Tool Support for Hybrid Systems Verification with Hypro
Controlling Golog Programs against Mtl Constraints
Till Hofmann
•
•
1 min read