default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th FORMATS 2020: Vienna, Austria
- 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 - Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
Deep Reinforcement Learning with Temporal Logics. 1-22 - Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff:
On the Semantics of Polychronous Polytimed Specifications. 23-40 - Rémi Parrot, Didier Lime:
Backward Symbolic Optimal Reachability in Weighted Timed Automata. 41-57 - Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol:
Certifying Emptiness of Timed Büchi Automata. 58-75 - Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo:
Learning Specifications for Labelled Patterns. 76-93 - Thomas Brihaye, Aline Goeminne:
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games. 94-110 - Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré:
Computing Maximally-Permissive Strategies in Acyclic Timed Automata. 111-126 - Martin Kölbl, Stefan Leue, Robert Schmid:
Dynamic Causes for the Violation of Timed Reachability Properties. 127-143 - Léo Henry, Thierry Jéron, Nicolas Markey:
Active Learning of Timed Automata with Unobservable Resets. 144-160 - Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid:
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. 161-177 - Xin Qin, Jyotirmoy V. Deshmukh:
Clairvoyant Monitoring for Signal Temporal Logic. 178-195 - Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier:
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2. 196-214 - Susanna Donatelli, Serge Haddad:
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. 215-230 - Edoardo Bacci, David Parker:
Probabilistic Guarantees for Safe Deep Reinforcement Learning. 231-248 - Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur:
Incremental Methods for Checking Real-Time Consistency. 249-264 - Dongxu Li, Stanley Bak, Sergiy Bogomolov:
Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. 265-282 - Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic:
Weakness Monitors for Fail-Aware Systems. 283-299
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
