Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 10.4230/LIPIcs.ICALP.2023.126
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2023
- Urheber
-
Esparza, Javier
Grande, Vincent Peter
- DOI
-
10.18154/RWTH-2023-09576
- URN
-
urn:nbn:de:101:1-2023101301364677420763
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
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
- Esparza, Javier
- Grande, Vincent Peter
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2023
Ähnliche Objekte (12)
Feedback strategies for partially observable stochastic systems
Partially observable linear systems under dependent noises
Temporalised Description Logics for Monitoring Partially Observable Events
Formal synthesis of partially-observable cyber-physical systems
Temporalised description logics for monitoring partially observable events
Virtual stochastic sensors: formal background and example applications : reconstructing the behavior of partially observable discrete and hybrid stochastic systems
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Program analysis and black-box GUI testing : = Program Analysis und Black-box GUI Testing
Stochastic regularity of a quadratic observable of high frequency waves
Blackbox
Time- and frequency-domain dynamic spectrum access: learning cyclic medium access patterns in partially observable environments
Feedback strategies for partially observable stochastic systems
Partially observable linear systems under dependent noises
Temporalised Description Logics for Monitoring Partially Observable Events
Formal synthesis of partially-observable cyber-physical systems
Temporalised description logics for monitoring partially observable events
Virtual stochastic sensors: formal background and example applications : reconstructing the behavior of partially observable discrete and hybrid stochastic systems
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Program analysis and black-box GUI testing : = Program Analysis und Black-box GUI Testing
Stochastic regularity of a quadratic observable of high frequency waves
Blackbox
Time- and frequency-domain dynamic spectrum access: learning cyclic medium access patterns in partially observable environments
Feedback strategies for partially observable stochastic systems
Partially observable linear systems under dependent noises
Temporalised Description Logics for Monitoring Partially Observable Events
Formal synthesis of partially-observable cyber-physical systems
Temporalised description logics for monitoring partially observable events
Virtual stochastic sensors: formal background and example applications : reconstructing the behavior of partially observable discrete and hybrid stochastic systems
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Program analysis and black-box GUI testing : = Program Analysis und Black-box GUI Testing
Stochastic regularity of a quadratic observable of high frequency waves
Blackbox