DFA Games

ABOUT

Type an LTL_f or a PLTL_f formula: Type an LTL_f or a PLTL_f formula...

Type the set of controllables symbols Type the set of controllables symbols

Type the set of uncontrollables symbols Type the set of uncontrollables symbols

LTL_f Syntax · PLTL_f Syntax · Random Example

This project (© ) is proudly funded by the WhiteMech ERC AG no.834228 under the European Union's Horizon 2020 research and innovation programme.