- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-1383
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Verification and control of partially observable probabilistic systems ; day:8 ; month:3 ; year:2017 ; pages:1-49
Real-time systems ; (8.3.2017), 1-49
- Klassifikation
-
Informatik
- Urheber
-
Norman, Gethin
- Beteiligte Personen und Organisationen
-
Parker, David
Zou, Xueyi
SpringerLink (Online service)
- DOI
-
10.1007/s11241-017-9269-4
- URN
-
urn:nbn:de:1111-201703314042
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:56 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.
Beteiligte
- Norman, Gethin
- Parker, David
- Zou, Xueyi
- SpringerLink (Online service)
Ähnliche Objekte (12)
Learning Decentralized Partially Observable Mean Field Control for Artificial Collective Behavior
Partially observable linear systems under dependent noises
Feedback strategies for partially observable stochastic systems
Temporalised description logics for monitoring partially observable events
Formal synthesis of partially-observable cyber-physical systems
Temporalised Description Logics for Monitoring Partially Observable Events
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Counterexamples in probabilistic verification
Efficiently exploring for human robot interaction: partially observable Poisson processes
Learning search polices from humans in a partially observable context
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
Learning Decentralized Partially Observable Mean Field Control for Artificial Collective Behavior
Partially observable linear systems under dependent noises
Feedback strategies for partially observable stochastic systems
Temporalised description logics for monitoring partially observable events
Formal synthesis of partially-observable cyber-physical systems
Temporalised Description Logics for Monitoring Partially Observable Events
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Counterexamples in probabilistic verification
Efficiently exploring for human robot interaction: partially observable Poisson processes
Learning search polices from humans in a partially observable context
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
Learning Decentralized Partially Observable Mean Field Control for Artificial Collective Behavior
Partially observable linear systems under dependent noises
Feedback strategies for partially observable stochastic systems
Temporalised description logics for monitoring partially observable events
Formal synthesis of partially-observable cyber-physical systems
Temporalised Description Logics for Monitoring Partially Observable Events
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Counterexamples in probabilistic verification
Efficiently exploring for human robot interaction: partially observable Poisson processes
Learning search polices from humans in a partially observable context