52 citations · 267 across the 47 of their papers we have counts for
3 papers · 2 filters
Static Analysis of Deterministic Negotiations
Javier Esparza, Anca Muscholl, Igor Walukiewicz
Negotiation diagrams are a model of concurrent computation akin to workflow Petri nets. Deterministic negotiation diagrams, equivalent to the much studied and used free-choice work…
Towards Efficient Verification of Population Protocols
Michael Blondin, Javier Esparza, Stefan Jaax +1
Population protocols are a well established model of computation by anonymous, identical finite state agents. A protocol is well-specified if from every initial configuration, all…
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
Javier Esparza, Jan Křetínský, Jean-François Raskin +1
Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic par…