Alessio Lomuscio

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Model Checking Temporal Epistemic Logic under Bounded Recall.

[BibT_eX]

[DOI]

Emily Yu

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Reports of the AAAI 2019 Spring Symposium Series.

[BibT_eX]

[DOI]

AI Mag., 2019

Imperfect Information in Alternating-Time Temporal Logic on Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

An MCTS-based Adversarial Training Method for Image Recognition.

[BibT_eX]

[DOI]

Yi-Ling Liu

Proceedings of the International Joint Conference on Neural Networks, 2019

A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Formal Verification of Open Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information.

[BibT_eX]

[DOI]

Vadim Malvone

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Verification of RNN-Based Neural Agent-Environment Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

4th International Workshop on Strategic Reasoning (SR 2016).

[BibT_eX]

[DOI]

Moshe Y. Vardi

Inf. Comput., 2018

22nd International Symposium on Temporal Representation and Reasoning (TIME 2015).

[BibT_eX]

[DOI]

Fabio Grandi

Martin Lange

Inf. Comput., 2018

Practical verification of multi-agent systems against Slk specifications.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Formal Verification of CNN-based Perception Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Approximating Perfect Recall When Model Checking Strategic Abilities.

[BibT_eX]

[DOI]

Vadim Malvone

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Reachability Analysis for Neural Agent-Environment Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Alternating-time Temporal Logic on Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces.

[BibT_eX]

[DOI]

Jeremy Kong

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Decidable Verification of Multi-agent Systems with Bounded Private Actions.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

MCMAS: an open-source model checker for the verification of multi-agent systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

An approach to reachability analysis for feed-forward ReLU neural networks.

[BibT_eX]

[DOI]

Lalit Maganti

CoRR, 2017

Compositional neural-network modeling of complex analog circuits.

[BibT_eX]

[DOI]

Ramin M. Hasani

Dieter Haerle

Christian F. Baumgartner

Radu Grosu

Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Verifying Fault-tolerance in Parameterised Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Model Checking Multi-Agent Systems against LDLK Specifications.

[BibT_eX]

[DOI]

Jeremy Kong

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Parameterised Verification of Data-aware Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications.

[BibT_eX]

[DOI]

Jeremy Kong

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Verification of Multi-agent Systems with Imperfect Information and Public Actions.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Parameterised verification for multi-agent systems.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Advances in Verification of Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Parameterised Model Checking for Alternating-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Abstraction-Based Verification of Infinite-State Reactive Modules.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Formal Verification of Opinion Formation in Swarms.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Verifying Security Properties in Unbounded Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions.

[BibT_eX]

[DOI]

CoRR, 2015

Verifying Emergent Properties of Swarms.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems.

[BibT_eX]

[DOI]

Davide Grossi

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

Verification of Multi-Agent Systems via SDD-based Model Checking.

[BibT_eX]

[DOI]

Hugo Paquet

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

A Counter Abstraction Technique for the Verification of Robot Swarms.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications.

[BibT_eX]

[DOI]

Petr Cermák

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Verification of Agent-Based Artifact Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2014

Advances in Symbolic Model Checking for Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Tutorials.

[BibT_eX]

[DOI]

Lawrence S. Moss

Ekaterina Ovchinnikova

Riccardo Rosati

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Model Checking Unbounded Artifact-Centric Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Decidability of model checking multi-agent systems against a class of EHS specifications.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Assume-Guarantee Reasoning with Local Specifications.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2013

VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181).

[BibT_eX]

[DOI]

Sophie Pinchinat

Holger Schlingloff

Dagstuhl Reports, 2013

Automatic Verification of Parameterised Interleaved Multi-Agent Systems

[BibT_eX]

[DOI]

CoRR, 2013

An Epistemic Halpern-Shoham Logic.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Model Checking GSM-Based Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Model Checking Distributed Systems against Temporal-Epistemic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2013

Automatic verification of parameterised multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

Automated Verification of Quantum Protocols using MCMAS

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Towards verifying contract regulated service composition.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2012

Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments.

[BibT_eX]

[DOI]

Paolo Felli

Giuseppe De Giacomo

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

An Abstraction Technique for the Verification of Artifact-Centric Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Verifying GSM-Based Business Artifacts.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Symbolic Model Checking for Temporal-Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programs, Norms and Action, 2012

The Scientific Contribution of Marek Sergot.

[BibT_eX]

[DOI]

Proceedings of the Logic Programs, Norms and Action, 2012

Group synthesis for parametric temporal-epistemic logic.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Automatic verification of epistemic specifications under convergent equational theories.

[BibT_eX]

[DOI]

Andrew V. Jones

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Runtime Monitoring of Contract Regulated Web Services.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata.

[BibT_eX]

[DOI]

Andrew V. Jones

Fundam. Informaticae, 2011

Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Verification of Deployed Artifact Systems via Data Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

2010

Model Checking Optimisation Based Congestion Control Algorithms.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Automatic Data-Abstraction in Model Checking Multi-Agent Systems.

[BibT_eX]

[DOI]

Francesco Russo

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

A Methodology for Automatic Diagnosability Analysis.

[BibT_eX]

[DOI]

Jonathan Ezekiel

Proceedings of the Formal Methods and Software Engineering, 2010

Parallel Model Checking for Temporal Epistemic Logic.

[BibT_eX]

[DOI]

Marta Z. Kwiatkowska

Proceedings of the ECAI 2010, 2010

Non-elementary speed up for model checking synchronous perfect recall.

[BibT_eX]

[DOI]

Mika Cohen

Proceedings of the ECAI 2010, 2010

Distributed BDD-based BMC for the verification of multi-agent systems.

[BibT_eX]

[DOI]

Andrew V. Jones

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Model checking detectability of attacks in multiagent systems.

[BibT_eX]

[DOI]

Mika Cohen

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Automatic verification of temporal-epistemic properties of cryptographic protocols.

[BibT_eX]

[DOI]

Mika Cohen

J. Appl. Non Class. Logics, 2009

Quantified epistemic logics for reasoning about knowledge in multi-agent systems.

[BibT_eX]

[DOI]

Artif. Intell., 2009

An Automated Approach to Verifying Diagnosability in Multi-agent Systems.

[BibT_eX]

[DOI]

Jonathan Ezekiel

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Towards an Agent Based Approach for Verification of OWL-S Process Models.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2009

MCMAS: A Model Checker for the Verification of Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

A Data Symmetry Reduction Technique for Temporal-epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2009

Combining fault injection and model checking to verify fault tolerance in multi-agent systems.

[BibT_eX]

[DOI]

Jonathan Ezekiel

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Abstraction in model checking multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

LDYIS: a Framework for Model Checking Security Protocols.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

A Complete First-Order Logic of Knowledge and Time.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Towards verifying compliance in agent-based web service compositions.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Symbolic model checking for temporal-epistemic logics.

[BibT_eX]

[DOI]

SIGACT News, 2007

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

Verification of the TESLA protocol in MCMAS-X.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics

[BibT_eX]

[DOI]

CoRR, 2007

Bounded model checking for knowledge and real time.

[BibT_eX]

[DOI]

Artif. Intell., 2007

Automatic Verification of Knowledge and Time with NuSMV.

[BibT_eX]

[DOI]

Charles Pecheur

Proceedings of the IJCAI 2007, 2007

Verifying Temporal and Epistemic Properties of Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2007

A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

A temporal epistemic logic with a reset operation.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

A quantified epistemic logic for reasoning about multiagent systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

MCMAS: A Model Checker for Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.

[BibT_eX]

[DOI]

Andrzej Zbrzezny

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

The Complexity of Model Checking Concurrent Programs Against CTLK Specifications.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IV, 2006

A complete and decidable security-specialised logic and its application to the TESLA protocol.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Model checking knowledge, strategies, and games in multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On the complexity of practical ATL model checking.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Editorial.

[BibT_eX]

[DOI]

Donald Nute

J. Appl. Log., 2005

A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies III, 2005

2004

A formalisation of violation, error recovery, and enforcement in the bit transmission problem.

[BibT_eX]

[DOI]

J. Appl. Log., 2004

From Bounded to Unbounded Model Checking for Temporal Epistemic Logic.

[BibT_eX]

[DOI]

Magdalena Kacprzak

Fundam. Informaticae, 2004

Bounded Model Checking for Deontic Interpreted Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

Preface.

[BibT_eX]

[DOI]

Erik P. de Vink

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

Towards Symbolic Model Checking for Multi-agent Systems via OBDD's.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Verifying Multi-agent Systems via Unbounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Automatic Verification of Deontic Properties of Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 2004

A Logic for Knowledge, Correctness, and Real Time.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Verification of Multiagent Systems via Unbounded Model Checking.

[BibT_eX]

[DOI]

Magdalena Kacprzak

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Deontic Interpreted Systems.

[BibT_eX]

[DOI]

Stud Logica, 2003

Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

Preface: Volume 85, Issue 2.

[BibT_eX]

[DOI]

Erik P. de Vink

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

A Logic For Ignorance.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

A Tableaux System for Deontic Interpreted Systems.

[BibT_eX]

[DOI]

Guido Governatori

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

Towards model checking interpreted systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Ignore at your peril - towards a logic for ignorance.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results.

[BibT_eX]

[DOI]

T. Lasica

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

The bit transmission problem revisited.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

A Computationally Grounded Logic of Visibility, Perception, and Knowledge.

[BibT_eX]

[DOI]

Log. J. IGPL, 2001

On Multi-agent Systems Specification via Deontic Logic.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

A Classification Scheme for Negotiation in Electronic Commerce.

[BibT_eX]

[DOI]

Nicholas R. Jennings

Proceedings of the Agent Mediated Electronic Commerce, The European AgentLink Perspective., 2001

2000

Knowledge in multiagent systems: initial configurations and broadcast.

[BibT_eX]

[DOI]

Ron van der Meyden

ACM Trans. Comput. Log., 2000

Multi-agent VSK Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1999

Knowledge sharing among ideal agents.

[BibT_eX]

[DOI]

PhD thesis, 1999

Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast

[BibT_eX]

[DOI]

Ron van der Meyden

CoRR, 1999

An algorithmic approach to knowledge evolution.

[BibT_eX]

[DOI]

Artif. Intell. Eng. Des. Anal. Manuf., 1999

Reasoning about Visibility, Perception and Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VI, 1999

A Spectrum of Modes of Knowledge Sharing between Agents.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VI, 1999

1998

Ideal Agents Sharing (some!) Knowledge.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Formalisms for multi-agent systems.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1997

On the Relation between Interpreted Systems and Kripke Models.

[BibT_eX]

[DOI]

Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997

1996

QLB: A Quantified Logic for Belief.

[BibT_eX]

[DOI]