Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Schewe, Sven
244  Ergebnisse:
Personensuche X
?
1

Semantic flowers for good-for-games and deterministic autom..:

Dell'Erba, Daniele ; Schewe, Sven ; Tang, Qiyi.
Information Processing Letters.  185 (2024)  - p. 106468 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Hydrogen permeation and embrittlement behavior of ferritic ..:

Kniep, David ; Schewe, Sven ; Rudolphi, Mario.
International Journal of Hydrogen Energy.  , 2024
Link: https://doi.org/10.1016/..
 
?
3

Singly exponential translation of alternating weak Büchi au..:

Li, Yong ; Schewe, Sven ; Vardi, Moshe Y.
Theoretical Computer Science.  1006 (2024)  - p. 114650 , 2024
Link: https://doi.org/10.1016/..
 
?
4

A Novel Family of Finite Automata for Recognizing and Learn..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Li, Yong ; Schewe, Sven ; Tang, Qiyi - p. 53-73 , 2023
Link: https://doi.org/10.1007/..
 
?
5

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

Robust Bayesian Abstraction of Neural Networks:

, In: 2023 International Conference on Machine Learning and Cybernetics (ICMLC),
Alshareef, Amany ; Berthier, Nicolas ; Schewe, Sven. - p. 276-283 , 2023
Link: https://doi.org/10.1109/..
 
?
8

Reliability Assessment and Safety Arguments for Machine Lea..:

Dong, Yi ; Huang, Wei ; Bharti, Vibhav...
ACM Transactions on Embedded Computing Systems.  22 (2023)  3 - p. 1-48 , 2023
Link: https://doi.org/10.1145/..
 
?
9

A Recursive Approach to Solving Parity Games in Quasipolyno..:

Lehtinen, Karoliina ; Parys, Paweł ; Schewe, Sven.
Logical Methods in Computer Science.  18, Issue 1 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
10

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

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

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

Smaller progress measures and separating automata for parit..:

Dell'Erba, Daniele ; Schewe, Sven
Frontiers in Computer Science.  4 (2022)  - p. , 2022
Link: https://doi.org/10.3389/..
 
?
14

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

History-Deterministic Timed Automata Are Not Determinizable:

, In: Lecture Notes in Computer Science; Reachability Problems,
Bose, Sougata ; Henzinger, Thomas A. ; Lehtinen, Karoliina.. - p. 67-76 , 2022
Link: https://doi.org/10.1007/..
 
1-15