- Fernando S. Barbosa, Jesper Karlsson, Pouria Tajvar, Jana Tumova:
Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract). FORMATS 2021: 1-14 - Frederik M. Bønneland, Peter Gjøl Jensen
, Kim G. Larsen, Marco Muñiz, Jirí Srba:
Stubborn Set Reduction for Timed Reachability and Safety Games. FORMATS 2021: 32-49 - Edward Kim, Stanley Bak, Parasara Sridhar Duggirala:
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. FORMATS 2021: 50-66 - Jun Liu:
Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability. FORMATS 2021: 67-83 - Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen:
An Integer Static Analysis for Better Extrapolation in Uppaal. FORMATS 2021: 84-99 - Thomas Mari, Thao Dang, Gregor Gössler:
Explaining Safety Violations in Real-Time Systems. FORMATS 2021: 100-116 - Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang:
DiffRNN: Differential Verification of Recurrent Neural Networks. FORMATS 2021: 117-134 - Andrea Peruffo, Alessandro Abate:
Formal Abstraction and Synthesis of Parametric Stochastic Processes. FORMATS 2021: 135-153 - Catalin Dima, Mahsa Shirmohammadi:
Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings. Lecture Notes in Computer Science 12860, Springer 2021, ISBN 978-3-030-85036-4 [contents] - 2020
- Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid:
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. FORMATS 2020: 161-177 - Edoardo Bacci, David Parker:
Probabilistic Guarantees for Safe Deep Reinforcement Learning. FORMATS 2020: 231-248 - Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo:
Learning Specifications for Labelled Patterns. FORMATS 2020: 76-93 - Thomas Brihaye, Aline Goeminne:
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games. FORMATS 2020: 94-110 - Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré:
Computing Maximally-Permissive Strategies in Acyclic Timed Automata. FORMATS 2020: 111-126 - Susanna Donatelli, Serge Haddad:
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. FORMATS 2020: 215-230 - Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic:
Weakness Monitors for Fail-Aware Systems. FORMATS 2020: 283-299 - Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
Deep Reinforcement Learning with Temporal Logics. FORMATS 2020: 1-22 - Léo Henry, Thierry Jéron, Nicolas Markey:
Active Learning of Timed Automata with Unobservable Resets. FORMATS 2020: 144-160 - Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur:
Incremental Methods for Checking Real-Time Consistency. FORMATS 2020: 249-264 - Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier:
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2. FORMATS 2020: 196-214 - Martin Kölbl, Stefan Leue, Robert Schmid:
Dynamic Causes for the Violation of Timed Reachability Properties. FORMATS 2020: 127-143 - Dongxu Li, Stanley Bak, Sergiy Bogomolov:
Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. FORMATS 2020: 265-282 - Rémi Parrot, Didier Lime:
Backward Symbolic Optimal Reachability in Weighted Timed Automata. FORMATS 2020: 41-57 - Xin Qin, Jyotirmoy V. Deshmukh:
Clairvoyant Monitoring for Signal Temporal Logic. FORMATS 2020: 178-195 - Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff:
On the Semantics of Polychronous Polytimed Specifications. FORMATS 2020: 23-40 - Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol:
Certifying Emptiness of Timed Büchi Automata. FORMATS 2020: 58-75 - Nathalie Bertrand, Nils Jansen:
Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Lecture Notes in Computer Science 12288, Springer 2020, ISBN 978-3-030-57627-1 [contents] - 2019
- Alexey Bakhirkin, Nicolas Basset, Oded Maler, José Ignacio Requeno Jarabo:
ParetoLib: A Python Library for Parameter Synthesis. FORMATS 2019: 114-120 - Anne Bouillard:
Stability and Performance Bounds in Cyclic Networks Using Network Calculus. FORMATS 2019: 96-113 - Thomas Ferrère, Oded Maler, Dejan Nickovic:
Mixed-Time Signal Temporal Logic. FORMATS 2019: 59-75
