Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Schewe, Sven
25  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Mungojerrie: Linear-Time Objectives in Model-Free Reinforce..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 527-545 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Robust Bayesian Abstraction of Neural Networks:

, In: 2023 International Conference on Machine Learning and Cybernetics (ICMLC),
Alshareef, Amany ; Berthier, Nicolas ; Schewe, Sven. - p. 276-283 , 2023
Link: https://doi.org/10.1109/..
 
?
3

A Novel Family of Finite Automata for Recognizing and Learn..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Li, Yong ; Schewe, Sven ; Tang, Qiyi - p. 53-73 , 2023
Link: https://doi.org/10.1007/..
 
?
4

History-Deterministic Timed Automata Are Not Determinizable:

, In: Lecture Notes in Computer Science; Reachability Problems,
Bose, Sougata ; Henzinger, Thomas A. ; Lehtinen, Karoliina.. - p. 67-76 , 2022
Link: https://doi.org/10.1007/..
 
?
5

An Impossibility Result in Automata-Theoretic Reinforcement..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 42-57 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Reinforcement Learning with Guarantees that Hold for Ever:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 3-7 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Enhancing Adversarial Training with Second-Order Statistics..:

, In: 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR),
Jin, Gaojie ; Yi, Xinping ; Huang, Wei.. - p. 15252-15262 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Alternating Good-for-MDPs Automata:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 303-319 , 2022
Link: https://doi.org/10.1007/..
 
?
9

EPMC Gets Knowledge in Multi-agent Systems:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Fu, Chen ; Hahn, Ernst Moritz ; Li, Yong... - p. 93-107 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Simple Stochastic Games with Almost-Sure Energy-Parity Obje..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Mayr, Richard ; Schewe, Sven ; Totzke, Patrick. - p. 427-447 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Model-Free Reinforcement Learning for Branching Markov Deci..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 651-673 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Model-Free Reinforcement Learning for Lexicographic Omega-R..:

, In: Formal Methods; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 142-159 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Good-for-MDPs Automata for Probabilistic Analysis and Reinf..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 306-323 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Faithful and Effective Reward Schemes for Model-Free Reinfo..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 108-124 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Omega-Regular Objectives in Model-Free Reinforcement Learni..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 395-412 , 2019
Link: https://doi.org/10.1007/..
 
1-15