research
∙
07/15/2020
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs
We present a new version of Peregrine, the tool for the analysis and par...
share
research
∙
05/07/2020
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
We present a sound and complete method for the verification of qualitati...
research
∙
04/15/2019
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
We report on the fifth reactive synthesis competition (SYNTCOMP 2018). W...
research
∙
03/29/2019
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games
The synthesis - the automatic construction - of reactive systems from li...
research
∙
11/16/2018
Computing the Expected Execution Time of Probabilistic Workflow Nets
Free-Choice Workflow Petri nets, also known as Workflow Graphs, are a po...
research
∙
02/22/2018