807 citations
- Université de RennesFR75 papers
- Centre National de la Recherche ScientifiqueFR38 papers
- Université Paris-SaclayFR26 papers
- Université Paris CitéFR24 papers
- Université de MontréalCA23 papers
- Observatoire de la Côte d’AzurFR22 papers
- Polytechnique MontréalCA22 papers
- Sorbonne UniversitéFR22 papers
- University of BirminghamGB22 papers
- University of CambridgeGB22 papers
- University of MichiganUS22 papers
- University of PisaIT22 papers
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2021
Good-for-Game QPTL: An Alternating Hodges Semantics
Dylan Bellier, Massimo Benerecetti, Dario Della Monica +1
An extension of QPTL is considered where functional dependencies among the quantified variables can be restricted in such a way that their current values are independent of the fut…
cs.LO2014★ 2 cited
Automata Techniques for Epistemic Protocol Synthesis
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing…
cs.LO2010★ 2 cited
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
Benoît Boyer, Thomas Genet
The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification tec…