Collaborated with:J.Esparza M.Blondin S.Sickert J.Kretínský
Talks about:determinist (1) protocol (1) peregrin (1) automata (1) analysi (1) tempor (1) linear (1) popul (1) logic (1) limit (1)
Person: Stefan Jaax
DBLP: Jaax:Stefan
Contributed to:
20162018Wrote 2 papers:
- CAV-2016-SickertEJK #automaton #linear #logic
- Limit-Deterministic Büchi Automata for Linear Temporal Logic (SS, JE, SJ, JK), pp. 312–332.
- CAV-2018-BlondinEJ #analysis #named #protocol
- Peregrine: A Tool for the Analysis of Population Protocols (MB, JE, SJ), pp. 604–611.