Explaining Controllers via Automata

Team

Tools

Publications

2024
Learning Explainable and Better Performing Representations of POMDP Strategies  
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Křetínský, Stefanie Mohr
Tools and Algorithms for the Construction and Analysis of Systems