Cited By
View all- De Masellis RGoranko V(2020)Logic-based specification and verification of homogeneous dynamic multi-agent systemsAutonomous Agents and Multi-Agent Systems10.1007/s10458-020-09457-834:2Online publication date: 28-Apr-2020
- Condurache RDe Masellis RGoranko V(2019)Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and VerificationPRIMA 2019: Principles and Practice of Multi-Agent Systems10.1007/978-3-030-33792-6_7(106-122)Online publication date: 21-Oct-2019
- Belardinelli FGrandi UHerzig ALongin DLorini ENovaro APerrussel L(2017)Relaxing Exclusive Control in Boolean GamesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.251.4251(43-56)Online publication date: 25-Jul-2017
- Show More Cited By