Experiences from the European ProCoS Projects: Provably Correct Systems
Bowen, J
Fränzle, M
Olderog, E
Bjorner, D
Hansen, M
Langmaack, H
Liu, Z
Martin, U
Formal Aspects of Computing
(23 Mar 2026)
Best-Effort Policies for Robust Markov Decision Processes
Abate, A
Badings, T
De Giacomo, G
Fabiano, F
Proceedings of the AAAI Conference on Artificial Intelligence
volume 40
issue 43
36120-36128
(14 Mar 2026)
Incremental Data-Driven Policy Synthesis via Game Abstractions
Sağlam, I
Nazeri
Abate, A
Soudjani, S
Schmuck, A
Proceedings of the AAAI Conference on Artificial Intelligence
volume 40
issue 43
36360-36368
(14 Mar 2026)
Oscillatory flow and steady streaming of cerebrospinal fluid in cranial subarachnoid space
Dvoriashyna, M
Zwanenburg, J
Goriely, A