Software and Computational Systems Lab
Home
News
Team
Research
Publications
Software
Teaching
Contact
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)