Ambos libros abordan la verificación formal de sistemas complejos, aunque 'Formal Methods for Autonomous Systems' se centra en sistemas autónomos en lugar de multiagentes.
Specification and Verification of Multi-Agent Systems
por Frank S. de Boer · 2003
Ver sugerenciasSinopsis
Un estudio que aborda cómo especificar y verificar propiedades de comportamiento en sistemas multiagente complejos, utilizando técnicas lógicas y formales para garantizar que operen como se espera.
Sé el primero en valorar este libro.
Más de Frank S. de Boer
Ver autor →Otras obras del mismo autor en el catálogo
The Foundations of Computer Science
1994
From Abstract Structures to Concrete Computations
1995
Causality and Computation
1996
Computability and Complexity
1997
Contributions to Algebra and Geometry
1998
The Logic of Computational Complexity
2000
Formal Methods for Components and Objects
2002
Philosophy and Computing
2002
Logical Foundations of Computer Science
2005
Theory of Computation
2007
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
2007
Computational Models of Cognition
2009
Philosophical Issues in the Theory of Computation
2011
Mind and Machines
2013
Computational Philosophy
2015
Libros similares
Libros relacionados según distintos criterios de búsqueda
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Walter M. T. van der Aalst
2002·divulgacion
Al igual que el libro de referencia, este texto profundiza en métodos formales para la verificación de sistemas, aplicándolos a componentes y objetos distribuidos.
Formal Methods in Computer Science: From Two-Valued Logic to Probabilistic Systems
J.C. van Vliet
2012·divulgacion
Este libro comparte el enfoque en métodos formales, pero se expande a la lógica booleana y sistemas probabilísticos, ofreciendo una perspectiva más amplia de verificación.
Ambos textos se centran en sistemas multiagente, aunque este introduce conceptos sobre diseño y organización de agentes inteligentes de manera más teórica.
Modal Logic: An Introduction to its Syntax and Semantics
Patrick Blackburn, Maarten de Rijke, Yde Venema
2001·filosofia
Comparten un enfoque en la lógica como herramienta fundamental, siendo este libro una introducción más teórica sobre la sintaxis y semántica de la lógica modal.
Ambos libros ofrecen perspectivas sobre los sistemas multiagente, aunque este se centra más en la inteligencia artificial distribuida y sus aplicaciones prácticas.