Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Hahn, Ernst Moritz
473  Ergebnisse:
Personensuche X
?
1

Solving Queries for Boolean Fault Tree Logic via Quantified..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,
Saaltink, Caz ; Nicoletti, Stefano M. ; Volk, Matthias.. - p. 48-59 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Multi-Objective Omega-Regular Reinforcement Learning:

Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven...
Formal Aspects of Computing.  , 2023
Link: https://doi.org/10.1145/..
 
?
3

Mungojerrie: Linear-Time Objectives in Model-Free Reinforce..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 527-545 , 2023
Link: https://doi.org/10.1007/..
 
?
4

$$\textsf{ATM}$$: A Logic for Quantitative Security Propert..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Nicoletti, Stefano M. ; Lopuhaä-Zwakenberg, Milan ; Hahn, Ernst Moritz. - p. 205-225 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Backdoor Mitigation in Deep Neural Networks via Strategic R..:

, In: Formal Methods; Lecture Notes in Computer Science,
Dhonthi, Akshay ; Hahn, Ernst Moritz ; Hashemi, Vahid - p. 635-647 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Scenario Approach for Parametric Markov Models:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Liu, Ying ; Turrini, Andrea ; Hahn, Ernst Moritz.. - p. 158-180 , 2023
Link: https://doi.org/10.1007/..
 
?
7

AGNES: Abstraction-Guided Framework for Deep Neural Network..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Dhonthi, Akshay ; Eiermann, Marcello ; Hahn, Ernst Moritz. - p. 124-138 , 2023
Link: https://doi.org/10.1007/..
 
?
8

An Impossibility Result in Automata-Theoretic Reinforcement..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 42-57 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Reinforcement Learning with Guarantees that Hold for Ever:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 3-7 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Probabilistic Preference Planning Problem for Markov Decisi..:

Li, Meilun ; Turrini, Andrea ; Hahn, Ernst Moritz..
IEEE Transactions on Software Engineering.  48 (2022)  5 - p. 1545-1559 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Alternating Good-for-MDPs Automata:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 303-319 , 2022
Link: https://doi.org/10.1007/..
 
?
12

EPMC Gets Knowledge in Multi-agent Systems:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Fu, Chen ; Hahn, Ernst Moritz ; Li, Yong... - p. 93-107 , 2022
Link: https://doi.org/10.1007/..
 
?
13

The Marriage Between Safety and Cybersecurity: Still Practi..:

, In: Model Checking Software; Lecture Notes in Computer Science,
Stoelinga, Marielle ; Kolb, Christina ; Nicoletti, Stefano M... - p. 3-21 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Model-Free Reinforcement Learning for Branching Markov Deci..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven... - p. 651-673 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Symblicit exploration and elimination for probabilistic mod..:

, In: Proceedings of the 36th Annual ACM Symposium on Applied Computing,
Hahn, Ernst Moritz ; Hartmanns, Arnd - p. 1798-1806 , 2021
Link: https://dl.acm.org/doi/1..
 
1-15