Seguir
Patrick Wienhöft
Patrick Wienhöft
CeTI | Chair of algebraic and logic foundations of Computer Science, TU Dresden
Email confirmado em tu-dresden.de
Título
Citado por
Citado por
Ano
More for Less: Safe Policy Improvement With Stronger Performance Guarantees
P Wienhöft, M Suilen, TD Simão, C Dubslaff, C Baier, N Jansen
arXiv preprint arXiv:2305.07958, 2023
52023
Strategy synthesis in markov decision processes under limited sampling access
C Baier, C Dubslaff, P Wienhöft, SJ Kiebel
NASA Formal Methods Symposium, 86-103, 2023
32023
Be lazy and don’t care: faster CTL model checking for recursive state machines
C Dubslaff, P Wienhöft, A Fehnker
International Conference on Software Engineering and Formal Methods, 332-350, 2021
22021
Towards a formal account on negative latency
C Dubslaff, J Schulz, P Wienhöft, C Baier, FHP Fitzek, SJ Kiebel, ...
International Conference on Bridging the Gap between AI and Reality, 188-214, 2023
12023
What Are the Odds? Improving the foundations of Statistical Model Checking
T Meggendorfer, M Weininger, P Wienhöft
arXiv preprint arXiv:2404.05424, 2024
2024
Lazy model checking for recursive state machines
C Dubslaff, P Wienhöft, A Fehnker
Software and Systems Modeling 23 (2), 369-401, 2024
2024
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–6