Personensuche
X
?
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems ,
1
Solving Queries for Boolean Fault Tree Logic via Quantified..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
3
Mungojerrie: Linear-Time Objectives in Model-Free Reinforce..:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
4
$$\textsf{ATM}$$: A Logic for Quantitative Security Propert..:
, In:
?
Formal Methods; Lecture Notes in Computer Science ,
5
Backdoor Mitigation in Deep Neural Networks via Strategic R..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
6
Scenario Approach for Parametric Markov Models:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
7
AGNES: Abstraction-Guided Framework for Deep Neural Network..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
8
An Impossibility Result in Automata-Theoretic Reinforcement..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
9
Reinforcement Learning with Guarantees that Hold for Ever:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
11
Alternating Good-for-MDPs Automata:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
12
EPMC Gets Knowledge in Multi-agent Systems:
, In:
?
Model Checking Software; Lecture Notes in Computer Science ,
13
The Marriage Between Safety and Cybersecurity: Still Practi..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
14
Model-Free Reinforcement Learning for Branching Markov Deci..:
, In:
?
Proceedings of the 36th Annual ACM Symposium on Applied Computing ,
15