default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th FORMATS 2018: Beijing, China
- David N. Jansen
, Pavithra Prabhakar:
Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings. Lecture Notes in Computer Science 11022, Springer 2018, ISBN 978-3-030-00150-6
Invited Papers
- Jyotirmoy V. Deshmukh, Panagiotis Kyriakis, Paul Bogdan:
Stochastic Temporal Logic Abstractions: Challenges and Opportunities. 3-16 - Edward A. Lee:
Models of Timed Systems. 17-33
Temporal Logics
- Étienne André, Didier Lime, Mathias Ramparison:
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. 37-52 - Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger:
Monitoring Temporal Logic with Clock Variables. 53-70 - Salar Moarref, Hadas Kress-Gazit:
Reactive Synthesis for Robotic Swarms. 71-87
Distributed Timed Systems
- Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
Perfect Timed Communication Is Hard. 91-107 - Kamel Barkaoui, Hanifa Boucheneb:
On Persistency in Time Petri Nets. 108-124 - Meng Sun, Xiyue Zhang:
A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams. 125-141
Behavioral Equivalences
- Mathias Claus Jensen, Kim Guldstrand Larsen, Radu Mardare:
Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. 145-161 - Arpit Sharma:
Trace Relations and Logical Preservation for Markov Automata. 162-178 - Arpit Sharma:
Non-bisimulation Based Behavioral Relations for Markov Automata. 179-196
Timed Words
- Eugene Asarin, Nicolas Basset, Aldric Degorre:
Distance on Timed Words and Applications. 199-214 - Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin:
Online Timed Pattern Matching Using Automata. 215-232
Continuous Dynamical Systems
- Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar:
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. 235-251 - Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue:
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. 252-270 - Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate:
Tropical Abstractions of Max-Plus Linear Systems. 271-287
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-10-22 02:21 CEST 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:
