9 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.SE2019★ 5 cited
Simulation under Arbitrary Temporal Logic Constraints
Julien Brunel, David Chemouil, Alcino Cunha +1
Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next…
cs.LO2013★ 9 cited
Towards an Updatable Strategy Logic
Christophe Chareton, Julien Brunel, David Chemouil
This article is about temporal multi-agent logics. Several of these formalisms have been already presented (ATL-ATL*, ATLsc, SL). They enable to express the capacities of agents in…