- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7535
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Practical verification of decision-making in agent-based autonomous systems ; volume:23 ; number:3 ; day:6 ; month:9 ; year:2014 ; pages:305-359 ; date:9.2016
Automated software engineering ; 23, Heft 3 (6.9.2014), 305-359, 9.2016
- Creator
-
Dennis, Louise A.
- Contributor
-
Fisher, Michael
Lincoln, Nicholas K.
Lisitsa, Alexei
Veres, Sándor M.
SpringerLink (Online service)
- DOI
-
10.1007/s10515-014-0168-9
- URN
-
urn:nbn:de:1111-2016052510146
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Dennis, Louise A.
- Fisher, Michael
- Lincoln, Nicholas K.
- Lisitsa, Alexei
- Veres, Sándor M.
- SpringerLink (Online service)
Other Objects (12)
Autonomous agent-based negotiation using smart contracts
Efficient communication in agent-based autonomous logistic processes
Efficient Communication in Agent-based Autonomous Logistic Processes
Multifunctional lightweight autonomous vehicles: an agent-based study
Model verification tools: a computational framework for verification assessment of mechanistic agent-based models
A scalable preference model for autonomous decision-making
Nitrogen dynamics model : verification and practical application
Development and verification of an agent-based model of opinion leadership
Bayesian learning for the robust verification of autonomous robots
Decision‐Making in Public Good Dilemmas: Theory and Agent‐Based Simulation
Distributing decision-making authority: autonomous entities in manufacturing networks
Ethics of Autonomous Collective Decision-Making: The Caesar Framework
Autonomous agent-based negotiation using smart contracts
Efficient communication in agent-based autonomous logistic processes
Efficient Communication in Agent-based Autonomous Logistic Processes
Multifunctional lightweight autonomous vehicles: an agent-based study
Model verification tools: a computational framework for verification assessment of mechanistic agent-based models
A scalable preference model for autonomous decision-making
Nitrogen dynamics model : verification and practical application
Development and verification of an agent-based model of opinion leadership
Bayesian learning for the robust verification of autonomous robots
Decision‐Making in Public Good Dilemmas: Theory and Agent‐Based Simulation
Distributing decision-making authority: autonomous entities in manufacturing networks
Ethics of Autonomous Collective Decision-Making: The Caesar Framework
Autonomous agent-based negotiation using smart contracts
Efficient communication in agent-based autonomous logistic processes
Efficient Communication in Agent-based Autonomous Logistic Processes
Multifunctional lightweight autonomous vehicles: an agent-based study
Model verification tools: a computational framework for verification assessment of mechanistic agent-based models
A scalable preference model for autonomous decision-making
Nitrogen dynamics model : verification and practical application
Development and verification of an agent-based model of opinion leadership
Bayesian learning for the robust verification of autonomous robots
Decision‐Making in Public Good Dilemmas: Theory and Agent‐Based Simulation
Distributing decision-making authority: autonomous entities in manufacturing networks