Accepted papers

At FORMATS 2018, the following papers have been accepted:

Parosh Aziz Abdulla, Mohamed Faouzi Atig and Shankara Narayanan Krishna: Perfect Timed Communication is Hard

Étienne André, Didier Lime and Mathias Ramparison: TCTL model checking lower/upper-bound parametric timed automata without invariants

Eugene Asarin, Nicolas Basset and Aldric Degorre: Distance on timed words and applications

Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler and Eugene Asarin: Online Timed Pattern Matching using Automata

Kamel Barkaoui and Hanifa Boucheneb: On persistency in time Petri nets

Adrián Elgyütt, Thomas Ferrère and Thomas A. Henzinger: Monitoring Temporal Logic with Clock Variables

Mathias Claus Jensen, Kim Guldstrand Larsen and Radu Mardare: Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and their Logical Characterisations

Susmit Jha, Sunny Raj, Sumit Kumar Jha and Natarajan Shankar: Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems

Meilun Li, Peter N. Mosaad, Martin Fränzle, Zhikun She and Bai Xue: Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems

Salar Moarref and Hadas Kress-Gazit: Reactive Synthesis for Robotic Swarms

Muhammad Syifa’ul Mufid, Dieky Adzkiya and Alessandro Abate: Tropical Abstraction of Max-Plus Linear Systems

Arpit Sharma: Non-Bisimulation Based Behavioral Relations for Markov Automata

Arpit Sharma: Trace Relations and Logical Preservation for Markov Automata

Meng Sun and Xiyue Zhang: A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams