Cited By
View all- Fang LYang MCheng DHao YGuan QXiong LDastani MSichman JAlechina NDignum V(2024)Generalized Strategy Synthesis of Infinite-state Impartial Combinatorial Games via Exact Binary ClassificationProceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems10.5555/3635637.3662907(562-570)Online publication date: 6-May-2024
- Catta DLeneutre JMalvone VMurano ADastani MSichman JAlechina NDignum V(2024)Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic ModelsProceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems10.5555/3635637.3662875(271-280)Online publication date: 6-May-2024
- Oca JHermo MBolotov A(2024)A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE58400.2024.10546630(1-2)Online publication date: 25-Mar-2024
- Show More Cited By