Qualitative Multi-Objective Reachability for Ordered Branching MDPs

Kousha Etessami, Emanuel Martinov

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Qualitative Multi-Objective Reachability for Ordered Branching MDPs'. Together they form a unique fingerprint.

Computer Science