Journal article published at Science of Computer Programming:
"Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking" (and 2 more papers)

All software that we develop or maintain is copyrighted as free software.
Most of our software is available on GitHub or GitLab.

Current Projects