Bounded model checking real-time multi-agent systems with clock differences: theory and implementation

, &
In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 95--112 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Model checking techniqes for the analysis of reactive systems.Stephan Merz - 2002 - Synthese 133 (1-2):173 - 201.
Timed Modal Logics for Real-Time Systems: Specification, Verification and Control.Patricia Bouyer, Franck Cassez & François Laroussinie - 2011 - Journal of Logic, Language and Information 20 (2):169-203.
A multi-agent legal recommender system.Lucas Drumond & Rosario Girardi - 2008 - Artificial Intelligence and Law 16 (2):175-207.
Real-time model checking on secondary storage.Stefan Edelkamp & Shahid Jabbar - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 67--83.
Social laws in alternating time: Effectiveness, feasibility, and synthesis.Wiebe van der Hoek, Mark Roberts & Michael Wooldridge - 2007 - Synthese 156 (1):1-19.
A logic of strategic ability under bounded memory.Thomas Ågotnes & Dirk Walther - 2009 - Journal of Logic, Language and Information 18 (1):55-77.
Verifying Space and Time Requirements for Resource-Bounded Agents.Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan & Luciano Serafini - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer.
Exploring the future with resource-bounded agents.Michael Fisher & Chiara Ghidini - 2009 - Journal of Logic, Language and Information 18 (1):3-21.
Scientific Theories of Computational Systems in Model Checking.Nicola Angius & Guglielmo Tamburrini - 2011 - Minds and Machines 21 (2):323-336.
Special relativity in accelerated systems.Carlo B. Giannoni - 1973 - Philosophy of Science 40 (3):382-392.
A combination of explicit and deductive knowledge with branching time: completeness and decidability results.Alessio Lomuscio & Bożena Woźna - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies Iii. Springer. pp. 188--204.
Five O'clock Here.Lyle E. Angene - 1982 - Analysis 42 (2):78 - 79.

Analytics

Added to PP
2014-01-28

Downloads
28 (#553,203)

6 months
11 (#226,803)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references