Classification of Driving Behaviors Using STL Formulas: A Comparative Study

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems
1. Verfasser:	Karagulle, Ruya (VerfasserIn)
Weitere Verfasser:	Aréchiga, Nikos (VerfasserIn), DeCastro, Jonathan (VerfasserIn), Ozay, Necmiye (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?	2022	Bouyer, Patricia
Monitoring Timed Properties (Revisited)	2022	Grosen, Thomas Møller
An STL-Based Formulation of Resilience in Cyber-Physical Systems	2022	Chen, Hongkai
Classification of Driving Behaviors Using STL Formulas: A Comparative Study	2022	Karagulle, Ruya
Efficient Convex Zone Merging in Parametric Timed Automata	2022	André, Étienne
Neural Network Repair with Reachability Analysis	2022	Yang, Xiaodong
Robust Event-Driven Interactions in Cooperative Multi-agent Learning	2022	Ornia, Daniel Jarne
Non-blind Strategies in Timed Network Congestion Games	2022	Goeminne, Aline
On Neural Network Equivalence Checking Using SMT Solvers	2022	Eleftheriadis, Charis
Algebraic Model Checking for Discrete Linear Dynamical Systems	2022	Luca, Florian
Bounded Delay Timed Channel Coding	2022	Inclán, Bernardo Jacobo
Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems	2022	Meng, Yiming
Model Checking for Entanglement Swapping	2022	Desu, Surya Sat Teja
MITL Verification Under Timing Uncertainty	2022	Selvaratnam, Daniel
Timed Games with Bounded Window Parity Objectives	2022	Main, James C. A.
Reachability Analysis of a General Class of Neural Ordinary Differential Equations	2022	Lopez, Diego Manzanas
Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty	2022	Niehage, Mathis