At FORMATS 2018, the following papers have been accepted:
Parosh Aziz Abdulla, Mohamed Faouzi Atig and Shankara Narayanan Krishna: Perfect Timed Communication is Hard
Kamel Barkaoui and Hanifa Boucheneb: On persistency in time Petri nets
Meng Sun and Xiyue Zhang: A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams
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
Muhammad Syifa’ul Mufid, Dieky Adzkiya and Alessandro Abate: Tropical Abstraction of Max-Plus Linear Systems
Étienne André, Didier Lime and Mathias Ramparison: TCTL model checking lower/upper-bound parametric timed automata without invariants
Adrián Elgyütt, Thomas Ferrère and Thomas A. Henzinger: Monitoring Temporal Logic with Clock Variables
Salar Moarref and Hadas Kress-Gazit: Reactive Synthesis for Robotic Swarms
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
Mathias Claus Jensen, Kim Guldstrand Larsen and Radu Mardare: Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and their Logical Characterisations
Arpit Sharma: Non-Bisimulation Based Behavioral Relations for Markov Automata
Arpit Sharma: Trace Relations and Logical Preservation for Markov Automata