I agree that this site is using cookies. You can find further informations here.
X
Hahn, Ernst
396  results:
Search for persons X
?
1

Die Budgetrechnung im Kreditbankwesen:

Hahn, Ernst , 1940
Copies:  Zentrale:Magazin gl 3727
 
?
2

Die cystische Mamma und ihre Vorstufen bei jungen Frauen:

Hahn, Ernst
Virchows Archiv für Pathologische Anatomie und Physiologie und für Klinische Medizin.  262 (1926)  2 - p. 531-564 , 1926
Link: https://doi.org/10.1007/..
 
?
3

Die Heimatgeschichte des Hoyaer Landes in zeitgeschichtlich..:

Hahn, Ernst , [1922?]
Copies:  Zentrale:Handschr.-LS Brem.c.3715
 
?
4

Der physiologische Weg zur Lösung der Frauenfrage 

gemeinverständliche Studie  The Gerritsen Collection - Women's History Online
Hahn, Ernst , 1908
Link: https://gateway.proquest..
 
?
5

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..
 
?
6

Multi-Objective Omega-Regular Reinforcement Learning:

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

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/..
 
?
8

$$\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/..
 
?
9

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/..
 
?
10

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/..
 
?
11

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/..
 
?
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

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/..
 
?
14

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/..
 
?
15

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/..
 
1-15