Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ATVA (18. : 2020 : Online) Automated technology for verification and analysis
1. Verfasser:	Hahn, Ernst Moritz (VerfasserIn)
Weitere Verfasser:	Perez, Mateo (VerfasserIn), Schewe, Sven (VerfasserIn), Somenzi, Fabio (VerfasserIn), Trivedi, Ashutosh (VerfasserIn), Wojtczak, Dominik (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
First-Order Timed Runtime Verification Using BDDs	2020	Havelund, Klaus
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives	2020	Hahn, Ernst Moritz
Complexity of Verification and Synthesis of Threshold Automata	2020	Balasubramanian, A. R.
Robustness Verification for Classifier Ensembles	2020	Gross, Dennis
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type	2020	Chen, Taolue
Explainable Reactive Synthesis	2020	Baumeister, Tom
Model Checking Branching Properties on Petri Nets with Transits	2020	Finkbeiner, Bernd
Minimal Witnesses for Probabilistic Timed Automata	2020	Jantsch, Simon
Probabilistic Hyperproperties with Nondeterminism	2020	Ábrahám, Erika
RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms	2020	Herdt, Vladimir
RTAMT: Online Robustness Monitors from STL	2020	Nickovic, Dejan
DeepAbstract: Neural Network Abstraction for Accelerating Verification	2020	Ashok, Pranav
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks	2020	Goyal, Manish
Practical “Paritizing” of Emerson-Lei Automata	2020	Renkin, Florian
Multi-head Monitoring of Metric Dynamic Logic	2020	Raszyk, Martin
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth	2020	Asadi, Ali
Boosting Sequential Consistency Checking Using Saturation	2020	Zennou, Rachid
Parallel Graph-Based Stateless Model Checking	2020	Lång, Magnus
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling	2020	Li, Yong
Verified Textbook Algorithms	2020	Nipkow, Tobias

Alle Artikel auflisten