Model checking security protocols: a multi-agent system approach

von Lomuscio, Alessio
Veröffentlicht 2007

PARAMETERISED VERIFICATION OF STRATEGIC PROPERTIES IN PROBABILISTIC MULTI-AGENT SYSTEMS

von Lomuscio, Alessio
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 2 of 3 (2021)

Bounded model checking for interpreted systems

von Penczek, Wojciech
Veröffentlicht 2002

Unbounded model checking for knowledge and time

von Kacprzak, Magdalena
Veröffentlicht 2003

Approximating Perfect Recall When Model Checking Strategic Abilities

von Belardinelli, Francesco
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks

von Hashemi, Vahid
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

Service-oriented computing - ICSOC 2013 workshops : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013 : revised selected papers

Veröffentlicht 2014

VERIFYING STRATEGIC ABILITIES OF NEURAL-SYMBOLIC MULTI-AGENT SYSTEMS

von Akintunde, Michael E.
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

FORMAL VERIFICATION OF NEURAL AGENTS IN NON-DETERMINISTIC

von Akintunde, Michael E.
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 1 of 3 (2021)

Reachability Analysis for Neural Agent-Environment Systems

von Akintunde, Michael E.
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 ; revised selected and invited papers

Veröffentlicht 2007

Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26 - 28, 2004 ; proceedings

Veröffentlicht 2004

Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26 - 28, 2004; proceedings

Veröffentlicht 2004

Deontic logic in computer science : proceedings

Veröffentlicht 2004

Formal Analysis of Neural Network-Based Systems in the Aircraft Domain

von Kouvaros, Panagiotis
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

22nd International Symposium on Temporal Representation and Reasoning

Veröffentlicht 2018

4th International Workshop on Strategic Reasoning (SR 2016)

Veröffentlicht 2018