Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
PRObalistic Verification and Counterfactual Explanations for Iterative Decision-Making Tasks
01.10.2026 - 30.09.2029
Research funding project
People
Project leader
Ezio Bartocci
(E191-01)
Sub project leader
Luca Marzari
(E191-01)
Institute
E191-01 - Research Unit of Cyber-Physical Systems
Grant funds
FWF - Ă–sterr. Wissenschaftsfonds (National)
ESPRIT
Austrian Science Fund (FWF)
Research focus
Computer Engineering and Software-Intensive Systems: 100%
Publications
Publications