Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems
1. Verfasser:	Kempa, Brian (VerfasserIn)
Weitere Verfasser:	Zhang, Pei (VerfasserIn), Jones, Phillip H. (VerfasserIn), Zambreno, Joseph (VerfasserIn), Rozier, Kristin Yvonne (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Certifying Emptiness of Timed Büchi Automata	2020	Wimmer, Simon
Computing Maximally-Permissive Strategies in Acyclic Timed Automata	2020	Clement, Emily
Clairvoyant Monitoring for Signal Temporal Logic	2020	Qin, Xin
Incremental Methods for Checking Real-Time Consistency	2020	Jéron, Thierry
Weakness Monitors for Fail-Aware Systems	2020	Granig, Wolfgang
On the Semantics of Polychronous Polytimed Specifications	2020	Van, Hai Nguyen
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata	2020	Donatelli, Susanna
Backward Symbolic Optimal Reachability in Weighted Timed Automata	2020	Parrot, Rémi
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games	2020	Brihaye, Thomas
Learning Specifications for Labelled Patterns	2020	Basset, Nicolas
Dynamic Causes for the Violation of Timed Reachability Properties	2020	Kölbl, Martin
Computation of the Transient in Max-Plus Linear Systems via SMT -Solving	2020	Abate, Alessandro
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2	2020	Kempa, Brian
Probabilistic Guarantees for Safe Deep Reinforcement Learning	2020	Bacci, Edoardo
Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling	2020	Li, Dongxu
Deep Reinforcement Learning with Temporal Logics	2020	Hasanbeig, Mohammadhosein
Active Learning of Timed Automata with Unobservable Resets	2020	Henry, Léo