Hochschulschrift
Simulation and statistical model-checking of logic-based multi-agent system models
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Ludwig-Maximilians-Universität, Dissertation, 2016
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der Ludwig-Maximilians-Universität
- (wann)
-
2016
- Urheber
-
Kroiß, Christian
- Beteiligte Personen und Organisationen
-
Wirsing, Martin
- URN
-
urn:nbn:de:bvb:19-199928
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:47 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
- Kroiß, Christian
- Wirsing, Martin
- Universitätsbibliothek der Ludwig-Maximilians-Universität
Entstanden
- 2016
Ähnliche Objekte (12)
Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
Model checking with logic based petri nets
Model checking coalition logic on implicit models is Delta3-complete
LTL model checking with logic based petri nets
Faster Statistical Model Checking for Unbounded Temporal Properties
Improved statistical model checking methods for pathway analysis
Model checking for flat systems and temporal logic with counting
Learning and statistical model checking of system response times
Analyzing neural network behavior through deep statistical model checking
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Model composition in model checking
Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
Model checking with logic based petri nets
Model checking coalition logic on implicit models is Delta3-complete
LTL model checking with logic based petri nets
Faster Statistical Model Checking for Unbounded Temporal Properties
Improved statistical model checking methods for pathway analysis
Model checking for flat systems and temporal logic with counting
Learning and statistical model checking of system response times
Analyzing neural network behavior through deep statistical model checking
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Model composition in model checking
Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
Model checking with logic based petri nets
Model checking coalition logic on implicit models is Delta3-complete
LTL model checking with logic based petri nets
Faster Statistical Model Checking for Unbounded Temporal Properties
Improved statistical model checking methods for pathway analysis
Model checking for flat systems and temporal logic with counting
Learning and statistical model checking of system response times
Analyzing neural network behavior through deep statistical model checking
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic