STOMPC: Stochastic Model-Predictive Control with UPAAL STRATEGO

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ATVA (20. : 2022 : Online) Automated technology for verification and analysis
1. Verfasser:	Goorden, Martijn A. (VerfasserIn)
Weitere Verfasser:	Jensen, Peter G. (VerfasserIn), Larsen, Kim G. (VerfasserIn), Samusev, Mihhail (VerfasserIn), Srba, Jiři (VerfasserIn), Zhao, Guohan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Fence Synthesis Under the C11 Memory Model	2022	Singh, Sanjana
Verification of SMT Systems with Quantifiers	2022	Cimatti, Alessandro
Learning Deterministic One-Clock Timed Automata via Mutation Testing	2022	Tang, Xiaochen
STOMPC: Stochastic Model-Predictive Control with UPAAL STRATEGO	2022	Goorden, Martijn A.
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation	2022	Cheng, Chih-Hong
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks	2022	Ostrovsky, Matan
An Impossibility Result in Automata-Theoretic Reinforcement Leaming	2022	Hahn, Ernst Moritz
Minimization of Automata for Liveness Languages	2022	Radi, Bader Abu
Active Learning of One-Clock Timed Automata Using Constraini Solving	2022	Xu, Runging
Optimistic and Topological Value Iteration for Simple Stochastic Games	2022	Azeem, Mugsit
Synthesis of Parametric Hybrid Automata from Time Series	2022	Soto, Miriam Garcia
Alternating Good-for-MDPs Automata	2022	Hahn, Ernst Moritz
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test	2022	Cimatti, Alessandro
Projected Model Counting: Beyond Independent Support	2022	Yang, Jiong
PDAAAL: A Library for Reachability Analysıs of Weighted Pushdown Systems	2022	Jensen, Peter G.
Optimal Repair for Omega-Regular Properties	2022	Dave, Vrunda
Repairing Real-Time Requirements	2022	Noguchi, Reiya
Dynamic Shielding for Reinforcement Learning in Black- Box Environments	2022	Waga, Masaki
Learning Monitorable Operational Design Domains for Assured Autonomy	2022	Torfah, Hazem
SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification	2022	Tempel, Sören

Alle Artikel auflisten