3 citations · 3 across the 2 of their papers we have counts for
6 papers
The Temporal Logic Synthesis Format TLSF v1.2
Swen Jacobs, Guillermo A. Perez, Philipp Schlehuber-Caissier
We present an extension of the Temporal Logic Synthesis Format (TLSF). TLSF builds on standard LTL, but additionally supports high-level constructs, such as sets and functions, as…
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…
Petri Nets and Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg +2
Petri nets and their variants are often considered through their interleaved semantics, i.e. considering executions where, at each step, a single transition fires. This is clearly…
-Regular Energy Problems
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
We show how to efficiently solve problems involving a quantitative measure, here called energy, as well as a qualitative acceptance condition, expressed as a Büchi or Parity objec…
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Swen Jacobs, Guillermo A. Perez, Remco Abraham +22
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018-2021). We briefly describe the evaluation scheme and the experimental setup of SYNTCOMP. Th…