Life is Random, Time is Not: Markov Decision Processes with Window Objectives @ MORE'19


Date
Jun 22, 2019 1:00 PM
Event
2nd International Workshop on Multi-objective Reasoning in Verification
Location
SFU, Vancouver, Canada
Florent Delgrange
Florent Delgrange
Post-doctoral Researcher in Computer Science