"Specification and Design of Multi-agent Applications Using Temporal Z"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Specification and Verification of Multi-agent Systems	Mehdi Dastani; Koen V. Hindriks; John-Jules Meyer	2010	Springer US
Formal Specification Using Z	David Lightfoot (auth.)	1991	Macmillan Education UK
Multi-Agent Systems: Simulation and Applications	Pieter J. Mosterman; Ingo Roeder; Adelinde M. Uhrmacher; Paul Howells; Danny Weyns	2009	Routledge
Multi-Agent Programming: : Languages, Tools and Applications	Rafael H. Bordini; Mehdi Dastani; Jürgen Dix; Amal El Fallah Seghrouchni	2009	Springer US
Multi-Agent Programming: Languages, Platforms and Applications	Rafael H. Bordini; Mehdi Dastani; Jürgen Dix; Amal Fallah Seghrouchni	2005	Springer US
Architecture-Based Design of Multi-Agent Systems	Danny Weyns	2010	Springer Berlin Heidelberg
Cooperative Control of Multi-Agent Systems - Theory and Applications	Yue Wang; Eloy Garcia; David Casbeer; Fumin Zhang	2017	John Wiley & Sons
Modeling human and organizational behavior using a relation-centric multi-agent system design paradigm	Kimberly A. Roddy	2000	Naval Postgraduate School;Available from National Technical Information Service
Formal specification using Z: a modelling approach /	Bottaci, Leon.; Jones, John.	1995.	International Thomson Publishing,
Developments in Intelligent Agent Technologies and Multi-Agent Systems: Concepts and Applications	Goran Trajkovski (editor)	2010	IGI Global
Highlights on Practical Applications of Agents and Multi-Agent Systems: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems	Javier Bajo Pérez; Juan M. Corchado Rodríguez; Emmanuel Adam; Alfonso Ortega; María N. Moreno; Elena Navarro; Benjamin Hirsch; Henrique Lopes-Cardoso; Vicente Julián; Miguel A. Sánchez; Philippe Mathieu	2012	Springer Berlin Heidelberg
Advances on Practical Applications of Agents and Multi-Agent Systems: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems	Yves Demazeau; Jörg Müller; Juan M. Corchado Rodríguez; Javier Bajo Pérez	2012	Springer Berlin Heidelberg
Defense Industry Applications of Autonomous Agents and Multi-Agent Systems	Michal Pechoucek; Simon G. Thompson; Holger Voos	2008	Birkhäuser Basel
Cooperative Coverage Control of Multi-Agent Systems and its Applications	Chao Zhai; Hai-Tao Zhang; Gaoxi Xiao	1st ed. 2021	Springer Nature Singapore
Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing	Weiming Shen	2001	Routledge
Multi Agent Systems: Technologies and Applications towards Human-Centered	Shibakali Gupta; Indradip Banerjee; Siddhartha Bhattacharyya	1st ed. 2022	Springer Nature Singapore
Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning	Eduardo Alonso; Daniel Kudenko; Dimitar Kazakov	2003	Springer Berlin Heidelberg
Evolutionary Multi-Agent Systems: From Inspirations to Applications	Aleksander Byrski; Marek Kisiel-Dorohinicki	1st ed. 2017	Springer International Publishing
Consensus Problem of Delayed Linear Multi-agent Systems: Analysis and Design	Cheng-Lin Liu; Fei Liu	1st ed. 2017	Springer Nature Singapore
Cooperative Control of Multi-Agent Systems: Optimal and Adaptive Design Approaches	Frank L. Lewis, Hongwei Zhang, Kristian Hengster-Movric, Abhijit Das (auth.)	2014	Springer-Verlag London
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Specification and Design of Multi-agent Applications Using Temporal Z	Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel	Intelligent Agents and Multi-Agent Systems: 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers	Michael Wayne Barley; Nik Kasabov	2005	Springer Berlin Heidelberg
Multi-agent System Specification Using TCOZ	Tim Miller; Peter McBurney	Multiagent System Technologies: Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings	Torsten Eymann; Franziska Klügl; Winfried Lamersdorf; Matthias Klusch; Michael N. Huhns	2005	Springer Berlin Heidelberg
Agent Specification Using Multi-context Systems	Simon Parsons; Nicholas R. Jennings; Jordi Sabater; Carles Sierra	Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers	Mark d'Inverno; Michael Luck; Michael Fisher; Christ Preist	2002	Springer Berlin Heidelberg
Multi-Agent Applications		Networked Control Systems with Intermittent Feedback	Domagoj Tolić; Sandra Hirche	2017	Routledge
AgentZ: Extending Object-Z for Multi-agent Systems Specification	Anarosa A. F. Brandão; Paulo Alencar; Carlos J. P. de Lucena	Agent-Oriented Information Systems II: 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004, Revised Selected Papers	Paolo Bresciani; Paolo Giorgini; Brian Henderson-Sellers; Graham Low; Michael Winikoff	2005	Springer Berlin Heidelberg
Specification and Verification of Multi-Agent Systems	Wojciech Jamroga; Wojciech Penczek	Lectures on Logic and Computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes	Nick Bezhanishvili; Valentin Goranko	2012	Springer Berlin Heidelberg
Formal Specification of Multi-agent Systems by Using EUSMs	Mercedes G. Merayo; Manuel Núñez; Ismael Rodríguez	International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings	Farhad Arbab; Marjan Sirjani	2007	Springer Berlin Heidelberg
Formal Specification Language and Agent Applications	Vinitha Hannah Subburaj; Joseph E. Urban	Intelligent Agents in Data-intensive Computing	Joanna Kołodziej; Luís Correia; José Manuel Molina	1st ed. 2016	Springer International Publishing
Applications of Multi-agent Coordination	Abdellah Bedrouni; Ranjeev Mittu; Abdeslem Boukhtouta; Jean Berger	Distributed Intelligent Systems: A Coordination Perspective	Abdellah Bedrouni; Ranjeev Mittu; Abdeslem Boukhtouta; Jean Berger	2009	Springer US
Applications of Multi-Agent Systems	Mihaela Oprea	Information Technology: Selected Tutorials	Ricardo Reis	2004	Springer US
Specification of Bahavioural Requirements within Compositional Multi-agent System Design	Daniela E. Herlea; Catholijn M. Jonker; Jan Treur; Niek J. E. Wijngaards	Multi-Agent System Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW' 99 Valencia, Spain, June 30 - July 2, 1999 Proceedings	Francisco J. Garijo; Magnus Boman	1999	Springer Berlin Heidelberg
Formal Specification and Prototyping of Multi-agent Systems	Vincent Hilaire; Abder Koukam; Pablo Gruer; Jean-Pierre Müller	Engineering Societies in the Agents World: First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000. Revised Papers	Andrea Omicini; Robert Tolksdorf; Franco Zambonelli	2000	Springer Berlin Heidelberg
Compositional formal specification of multi-agent systems	Barbara Dunin-Keplicz; Jan Treur	Intelligent Agents: ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8 - 9, 1994. Proceedings	Michael J. Wooldridge; Nicholas R. Jennings	1995	Springer Berlin Heidelberg
Specification Aware Multi-Agent Reinforcement Learning	Fabian Ritz; Thomy Phan; Robert Müller; Thomas Gabor; Andreas Sedlmeier; Marc Zeller et al.	Agents and Artificial Intelligence: 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers	Ana Paula Rocha; Luc Steels; Jaap van den Herik	1st ed. 2022	Springer International Publishing
Using DESs for Temporal Diagnosis of Multi-agent Plan Execution	Femke de Jonge; Nico Roos; Huib Aldewereld	Multiagent System Technologies: 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007, Proceedings	Paolo Petta; Jörg P. Müller; Matthias Klusch; Michael Georgeff	2007	Springer Berlin Heidelberg
Using DESs for Temporal Diagnosis of Multi-agent Plan Executi		Multiagent System Technologies: 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings	Lawrence Cabac (auth.), Paolo Petta, Jörg P. Müller, Matthias Klusch, Michael Georgeff (eds.)	2007	Springer-Verlag Berlin Heidelberg
Agent Speciﬁcation		Multiagent Systems [2nd ed. ]	Gerhard Weiss (editor)	2013	MIT
Temporal Verification of Probabilistic Multi-Agent Systems	Michael I. Dekhtyar; Alexander Ja. Dikovsky; Mars K. Valiev	Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday	Arnon Avron; Nachum Dershowitz; Alexander Rabinovich	2008	Springer Berlin Heidelberg
Debugging and Testing of Multi-Agent Systems using Design Artefacts	David Poutakidis; Michael Winikoff†; Lin Padgham; Zhiyong Zhang	Multi-Agent Programming: : Languages, Tools and Applications	Rafael H. Bordini; Mehdi Dastani; Jürgen Dix; Amal El Fallah Seghrouchni	2009	Springer US
Analysis and Design of HWME Using Holonic Multi-Agent Systems	H. Wang and R. Dai	IEEE/WIC International Conference on Intelligent Agent Technology: (IAT 2003): proceedings: Halifax, Canada: October 13-17, 2003 /	Liu, Jiming,	[2003], ©2003.	IEEE Computer Society,
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Specification and Design of Multi-agent Applications Using Temporal Z" - similar Books and Chapters