Hochschulschrift
Hybrid multi-agent systems: modeling, specification and verification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Koblenz, Landau (Pfalz), Univ., Diss., 2010
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Koblenz
- (wer)
-
Universitätsbibliothek Koblenz
- (wann)
-
2010
- Urheber
-
Mohammed, Ammar Mohammed
- URN
-
urn:nbn:de:hbz:kob7-5664
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Mohammed, Ammar Mohammed
- Universitätsbibliothek Koblenz
Entstanden
- 2010
Ähnliche Objekte (12)
Logic-based specification and verification of homogeneous dynamic multi-agent systems
Rational verification: game-theoretic verification of multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Modelling and verification of reconfigurable multi-agent systems
Modeling, verification, and strategic reasoning in multi-agent systems
Multi-agent hybrid mechanism for financial risk management
Specification and verification of hybrid and real time systems
Multi-agent rationality : proceedings
Governing multi-agent systems
Normative Multi-Agent Systems
Holonic multi-agent systems
MCMAS: an open-source model checker for the verification of multi-agent systems
Logic-based specification and verification of homogeneous dynamic multi-agent systems
Rational verification: game-theoretic verification of multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Modelling and verification of reconfigurable multi-agent systems
Modeling, verification, and strategic reasoning in multi-agent systems
Multi-agent hybrid mechanism for financial risk management
Specification and verification of hybrid and real time systems
Multi-agent rationality : proceedings
Governing multi-agent systems
Normative Multi-Agent Systems
Holonic multi-agent systems
MCMAS: an open-source model checker for the verification of multi-agent systems
Logic-based specification and verification of homogeneous dynamic multi-agent systems
Rational verification: game-theoretic verification of multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Modelling and verification of reconfigurable multi-agent systems
Modeling, verification, and strategic reasoning in multi-agent systems
Multi-agent hybrid mechanism for financial risk management
Specification and verification of hybrid and real time systems
Multi-agent rationality : proceedings
Governing multi-agent systems
Normative Multi-Agent Systems
Holonic multi-agent systems