90 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Institut de recherche mathématique de RennesFR38 papers
- Centre National de la Recherche ScientifiqueFR21 papers
- Université de RennesFR20 papers
- Institut national de recherche en sciences et technologies du numériqueFR8 papers
- Centre Inria de l'Université de RennesFR6 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR4 papers
- Laboratoire des systèmes et applications des technologies de l'information et de l'énergieFR4 papers
- École Normale Supérieure Paris-SaclayFR3 papers
- École Normale Supérieure - PSLFR3 papers
- MINGUS: Schémas numériques géométriques multi-échellesFR3 papers
- University of GenevaCH3 papers
- University of Naples Federico IIIT3 papers
6 papers · 1 filter
Finding Regular Herbrand Models for CHCs using Answer Set Programming
Gregoire Maire, Thomas Genet
We are interested in proving satisfiability of Constrained Horn Clauses (CHCs) over Algebraic Data Types (ADTs). We propose to prove satisfiability by building a tree automaton rec…
The Complexity of Generalized HyperLTL with Stuttering and Contexts
Gaëtan Regaud, Martin Zimmermann
We settle the complexity of satisfiability and model-checking for generalized HyperLTL with stuttering and contexts, an expressive logic for the specification of asynchronous hyper…
The Complexity of Second-order HyperLTL
Hadar Frenkel, Gaëtan Regaud, Martin Zimmermann
We determine the complexity of second-order HyperLTL satisfiability, finite-state satisfiability, and model-checking: All three are equivalent to truth in third-order arithmetic. W…
Strategy Logic with Imperfect Information
Raphaël Berthon, Bastien Maubert, Aniello Murano +2
We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player…
Decidability results for ATL* with imperfect information and perfect recall
Raphaël Berthon, Bastien Maubert, Aniello Murano
Alternating-time Temporal Logic (ATL*) is a central logic for multiagent systems. Its extension to the imperfect information setting (ATL*i ) is well known to have an undecidable m…
Changing Observations in Epistemic Temporal Logic
Aurèle Barrière, Bastien Maubert, Aniello Murano +1
We study dynamic changes of agents' observational power in logics of knowledge and time. We consider CTL*K, the extension of CTL* with knowledge operators, and enrich it with a new…