Speaker
Guillermo A. Pérez
University of Antwerp
Research Interests: Formal logics, automata and games, verification of systems against their specifications.
More Information:
Talks at this conference:
| Mon, 9:00 | Decidable Problems for Partially Observable MDPs |
| Tue, 10:30 | Composing Reinforcement Learning Policies, with Formal Guarantees |