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)

Supplementary Web Pages

For Research Articles

For PhD Theses

For MSc Theses

For BSc Theses