- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-1383
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Classification
-
Informatik
- Creator
-
Norman, Gethin
- Contributor
-
Parker, David
Zou, Xueyi
SpringerLink (Online service)
- DOI
-
10.1007/s11241-017-9269-4
- URN
-
urn:nbn:de:1111-201703314042
- 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
- Norman, Gethin
- Parker, David
- Zou, Xueyi
- SpringerLink (Online service)
Other Objects (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
Learning search polices from humans in a partially observable context
Efficiently exploring for human robot interaction: partially observable Poisson processes
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
Learning search polices from humans in a partially observable context
Efficiently exploring for human robot interaction: partially observable Poisson processes
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
Learning search polices from humans in a partially observable context
Efficiently exploring for human robot interaction: partially observable Poisson processes