Formela news archive

19 May 2022

A new Master's thesis topic about patrolling

Master's thesis

25 Apr 2022

A paper about recurrent reachability objectives accepted to IJCAI 2022

IJCAI 2022 paper

21 Jul 2021

The Satisfiability Problem for a Quantitative Fragment of PCTL

FCT 2021 paper

19 Jul 2021

Deciding Polynomial Termination Complexity for VASS Programs

CONCUR 2021 paper | PDF available

1 Jul 2021

Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games

UAI conference paper | video & poster available