28 citations · 75 across the 20 of their papers we have counts for
5 papers · 1 filter
Non-Zero Sum Games for Reactive Synthesis
Romain Brenguier, Lorenzo Clemente, Paul Hunter +5
In this invited contribution, we summarize new solution concepts useful for the synthesis of reactive systems that we have introduced in several recent publications. These solution…
Ordered Tree-Pushdown Systems
Lorenzo Clemente, Paweł Parys, Sylvain Salvati +1
We define a new class of pushdown systems where the pushdown is a tree instead of a word. We allow a limited form of lookahead on the pushdown conforming to a certain ordering rest…
Timed pushdown automata revisited
Lorenzo Clemente, Sławomir Lasota
This paper contains two results on timed extensions of pushdown automata (PDA). As our first result we prove that the model of dense-timed PDA of Abdulla et al. collapses: it is ex…
Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives
Lorenzo Clemente, Jean-François Raskin
The beyond worst-case threshold problem (BWC), recently introduced by Bruyère et al., asks given a quantitative game graph for the synthesis of a strategy that i) enforces some min…
Reachability analysis of first-order definable pushdown systems
Lorenzo Clemente, Sławomir Lasota
We study pushdown systems where control states, stack alphabet, and transition relation, instead of being finite, are first-order definable in a fixed countably-infinite structure.…