Life is Random, Time is Not: Markov Decision Processes with Window Objectives


Date
Jun 22, 2019 1:00 PM
Event
2nd International Workshop on Multi-objective Reasoning in Verification
Location
SFU, Vancouver, Canada

Related