?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
5
Mungojerrie: Linear-Time Objectives in Model-Free Reinforce..:
, In:
?
2023 International Conference on Machine Learning and Cybernetics (ICMLC) ,
6
Robust Bayesian Abstraction of Neural Networks:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
8
A Novel Family of Finite Automata for Recognizing and Learn..:
, In:
?
Lecture Notes in Computer Science; Reachability Problems ,
9
History-Deterministic Timed Automata Are Not Determinizable:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
10
An Impossibility Result in Automata-Theoretic Reinforcement..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
11
Reinforcement Learning with Guarantees that Hold for Ever:
, In:
?
2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) ,
12
Enhancing Adversarial Training with Second-Order Statistics..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
15