Personensuche
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
Mungojerrie: Linear-Time Objectives in Model-Free Reinforce..:
, In:
?
2023 International Conference on Machine Learning and Cybernetics (ICMLC) ,
2
Robust Bayesian Abstraction of Neural Networks:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
3
A Novel Family of Finite Automata for Recognizing and Learn..:
, In:
?
Lecture Notes in Computer Science; Reachability Problems ,
4
History-Deterministic Timed Automata Are Not Determinizable:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
5
An Impossibility Result in Automata-Theoretic Reinforcement..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
6
Reinforcement Learning with Guarantees that Hold for Ever:
, In:
?
2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) ,
7
Enhancing Adversarial Training with Second-Order Statistics..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
8
Alternating Good-for-MDPs Automata:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
9
EPMC Gets Knowledge in Multi-agent Systems:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
10
Simple Stochastic Games with Almost-Sure Energy-Parity Obje..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
11
Model-Free Reinforcement Learning for Branching Markov Deci..:
, In:
?
Formal Methods; Lecture Notes in Computer Science ,
12
Model-Free Reinforcement Learning for Lexicographic Omega-R..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
13
Good-for-MDPs Automata for Probabilistic Analysis and Reinf..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
14
Faithful and Effective Reward Schemes for Model-Free Reinfo..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
15