- Emptiness Of Alternating Tree Automata Using Games With Imperfect Information. Nathanael Fijalkow Sophie Pinchinat Olivier Serre Tue 21 January 2014
- Qualitative Tree Languages Arnaud Carayol Axel Hadda Olivier Serre Tue 21 January 2014
- Temporal Logics and Model Checking for Fairly Correct Systems Daniele Varacca Hagen Volzer Fri 26 April 2013
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
