"DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Computational Intelligence for Agent-based Systems	Raymond S.T. Lee	2007	Springer Berlin Heidelberg
Model checking /	Clarke, Edmund M.,		The MIT Press
Model checking /	Clarke, Edmund M.,; Grumberg, Orna.; Peled, Doron A.,	c1999.	MIT Press,
Model checking /	Clarke, Edmund M.,; Grumberg, Orna,; Peled, Doron A.,	©1999.	MIT Press,
Model Checking Quantum Systems: Principles and Algorithms	Mingsheng Ying; Yuan Feng	2021-02	Cambridge University Press
Model-Based Design for Embedded Systems	Pieter J. Mosterman; Gabriela Nicolescu; Pieter J. Mosterman	2010	Routledge
Model-Based Testing for Embedded Systems	Justyna Zander; Ina Schieferdecker; Pieter J. Mosterman	2012	Routledge
Model-Based Testing for Embedded Systems	Zander, Justyna	2011	CRC Press
Party Competition: An Agent-Based Model	Michael Laver; Ernest Sergenti	2011	Princeton University Press
Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving	Zili Zhang; Chengqi Zhang	2004	Springer Berlin Heidelberg
Agent-Based Hybrid Intelligent Systems: An Agent-Based Fromework for Complex Problem Solving	Zhang Ch.	2004	Springer
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
Ontology-Based Multi-Agent Systems	Maja Hadzic; Elizabeth J. Chang; Pornpit Wongthongtham	2009	Springer Berlin Heidelberg
Model-Based Systems Engineering	A. Terry Bahill; A. Wayne Wymore	1993	Routledge
Model-based systems engineering	Wymore, A. Wayne	1993	CRC Press
Model-Based Engineering for Complex Electronic Systems	H. Alan Mantooth	2013	Newnes
An Agent-Based Model of Heterogeneous Demand	Matthias Müller	1st ed. 2017	Springer Fachmedien Wiesbaden
Systems and Software Verification: Model-Checking Techniques and Tools	B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen	2001	Springer Berlin Heidelberg
Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
Principles of model checking /	Baier, Christel.; Katoen, Joost-Pieter.	[2008?]	The MIT Press,
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
DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs	Yenda Ramesh; Nikhil Anand; M. V. Panduranga Rao	PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings	Matteo Baldoni; Mehdi Dastani; Beishui Liao; Yuko Sakurai; Rym Zalila Wenkstern	1st ed. 2019	Springer International Publishing
Model Checking GSM-Based Multi-Agent Systems	Pavel Gonzalez; Andreas Griesmayer; Alessio Lomuscio	Service-Oriented Computing--ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers	Alessio Lomuscio; Surya Nepal; Fabio Patrizi; Boualem Benatallah; Ivona Brandić	2014	Springer International Publishing
Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems	Ramesh Yenda; M. V. Panduranga Rao	PRIMA 2020: Principles and Practice of Multi-Agent Systems: 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings	Takahiro Uchiya; Quan Bai; Iván Marsá Maestre	1st ed. 2021	Springer International Publishing
On Statistical Model Checking of Stochastic Systems	Koushik Sen; Mahesh Viswanathan; Gul Agha	Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings	Kousha Etessami; Sriram K. Rajamani	2005	Springer Berlin Heidelberg
Dynamic Model Checking for Multi-agent Systems	Nardine Osman; David Robertson; Christopher Walton	Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers	Matteo Baldoni; Ulle Endriss	2006	Springer Berlin Heidelberg
Statistical Model Checking for Composite Actor Systems	Jonas Eckhardt; Tobias Mühlbauer; José Meseguer; Martin Wirsing	Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers	Narciso Martí-Oliet; Miguel Palomino	2013	Springer Berlin Heidelberg
Using Statistical Model Checking for Measuring Systems	Radu Grosu; Doron Peled; C. R. Ramakrishnan; Scott A. Smolka; Scott D. Stoller; Junxing Yang	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II	Tiziana Margaria; Bernhard Steffen	2014	Springer Berlin Heidelberg
Statistical Model Checking for Cyber-Physical Systems	Edmund M. Clarke; Paolo Zuliani	Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings	Tevfik Bultan; Pao-Ann Hsiung	2011	Springer Berlin Heidelberg
Statistical Model Checking for Variability-Intensive Systems	Maxime Cordy; Mike Papadakis; Axel Legay	Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings	Heike Wehrheim; Jordi Cabot	1st ed. 2020	Springer International Publishing
Statistical Model Checking	Axel Legay; Anna Lukina; Louis Marie Traonouez; Junxing Yang; Scott A. Smolka; Radu Grosu	Computing and Software Science: State of the Art and Perspectives	Bernhard Steffen; Gerhard Woeginger	1st ed. 2019	Springer International Publishing
Model Based Testing for Agent Systems	Zhiyong Zhang; John Thangarajah; Lin Padgham	Software and Data Technologies: Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers	Joaquim Filipe; Boris Shishkov; Markus Helfert; Leszek Maciaszek	2009	Springer Berlin Heidelberg
Directions for Agent Model Checking*	R.H. Bordini; L.A. Dennis; B. Farwer; M. Fisher	Specification and Verification of Multi-agent Systems	Mehdi Dastani; Koen V. Hindriks; John-Jules Meyer	2010	Springer US
Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems	Kim G. Larsen	Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings	Marcin Jurdzinski; Dejan Nickovic	2012	Springer Berlin Heidelberg
A Model Checking Algorithm for Multi-agent Systems	Massimo Benerecetti; Fausto Giunchiglia; Luciano Serafini	Intelligent Agents V: Agents Theories, Architectures, and Languages: 5th International Workshop, ATAL' 98, Paris, France, July 4-7, 1998, Proceedings	Jörg Müller; Munindar P. Singh; Anand S. Rao	1999	Springer Berlin Heidelberg
FO Model Checking on Map Graphs	Kord Eickmeyer; Ken-ichi Kawarabayashi	Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings	Ralf Klasing; Marc Zeitoun	1st ed. 2017	Springer Berlin Heidelberg
Model-Driven Architecture for Agent-Based Systems	Denis Gračanin; H. Lally Singh; Shawn A. Bohner; Michael G. Hinchey	Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers	Michael G. Hinchey; James L. Rash; Walter F. Truszkowski; Christopher A. Rouff	2005	Springer Berlin Heidelberg
Model Checking Agent Communication	J. Bentahar; J.-J. Ch. Meyer; W. Wan	Specification and Verification of Multi-agent Systems	Mehdi Dastani; Koen V. Hindriks; John-Jules Meyer	2010	Springer US
Model Checking Agent Dialogues	Christopher D. Walton	Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers	João Leite; Andrea Omicini; Paolo Torroni; pInar Yolum	2005	Springer Berlin Heidelberg
Model Checking Agent Dialogu		Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers	M. Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer (auth.), João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum (eds.)	2005	Springer-Verlag Berlin Heidelberg
Statistical Model Checking of Complex Robotic Systems	Mohammed Foughali; Félix Ingrand; Cristina Seceleanu	Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings	Fabrizio Biondi; Thomas Given-Wilson; Axel Legay	1st ed. 2019	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs" - similar Books and Chapters