19 citations · 22 across the 9 of their papers we have counts for
4 papers · 1 filter
Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
Dylan Bellier, Gregory Faraut, Yan Monier +1
In recent years the theory of Higher Dimensional Automata (HDA) has seen significant advances from a theoretical point of view, reflecting standard automata theory. There have also…
Higher-Dimensional Timed Automata for Real-Time Concurrency
Amazigh Amrane, Hugo Bazille, Emily Clement +2
We present a new language semantics for real-time concurrency. Its operational models are higher-dimensional timed automata (HDTAs), a generalization of both higher-dimensional aut…
Effective Reductions of Mealy Machines
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz +1
We revisit the problem of reducing incompletely specified Mealy machines with reactive synthesis in mind. We propose two techniques: the former is inspired by the tool MeMin and so…
Improvements to ltlsynt
Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz +1
ltlsynt is a tool for LTL reactive synthesis. We summarize its evolution since 2018.