Emanuel Martinov

According to our database, Emanuel Martinov authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Qualitative Multi-objective Reachability for Ordered Branching MDPs.

Kousha Etessami, Emanuel Martinov

Proceedings of the Reachability Problems - 14th International Conference, 2020

2019

Reachability for Branching Concurrent Stochastic Games.

Kousha Etessami, Emanuel Martinov, Alistair Stewart, Mihalis Yannakakis

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019