Formal Modeling and Analysis of Timed Systems

Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract).- Temporal Reasoning for Intelligent Financial Services: Examples and Challenges.- On the complexity of timed pattern matching.- Stubborn Set Reduction for Timed Reachability and Safety Games.- Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems.- Closing the Gap between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability.- An Integer Static Analysis for Better Extrapolation in Uppaal.- Explaining Safety Violations in Real-Time Systems.- DiffRNN: Differential verification of Recurrent Neural Networks.- Formal Abstraction and Synthesis of Parametric Stochastic Processes.