Formal Modeling and Analysis of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

ISBN-13: 9783030850364 / Angielski / Miękka / 2021 / 156 str.

Catalin Dima; Mahsa Shirmohammadi

Spis treści

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.