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:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
2
Policy Synthesis and Reinforcement Learning for Discounted ..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
5
Alternating Good-for-MDPs Automata:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
6
Reinforcement Learning with Guarantees that Hold for Ever:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
7
An Impossibility Result in Automata-Theoretic Reinforcement..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
8
Model-Free Reinforcement Learning for Branching Markov Deci..:
, In:
?
Formal Methods; Lecture Notes in Computer Science ,
9
Model-Free Reinforcement Learning for Lexicographic Omega-R..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
10
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 ,
11
Good-for-MDPs Automata for Probabilistic Analysis and Reinf..:
, In:
?
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT ,
12
Limit reachability for model-free reinforcement learning of..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
13