Search for persons
X
?
2023 International Conference on Machine Learning and Cybernetics (ICMLC) ,
5
Robust Bayesian Abstraction of Neural Networks:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
7
Mungojerrie: Linear-Time Objectives in Model-Free Reinforce..:
, 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; Verification, Model Checking, and Abstract Interpretation ,
10
EPMC Gets Knowledge in Multi-agent Systems:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
11
Reinforcement Learning with Guarantees that Hold for Ever:
, In:
?
Lecture Notes in Computer Science; Reachability Problems ,
12
History-Deterministic Timed Automata Are Not Determinizable:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
13
An Impossibility Result in Automata-Theoretic Reinforcement..:
, In:
?
2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) ,
14