![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
18th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.