Simin Oraee

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Policy Iteration

Markov Decision Processes

Reachability Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee
Trace aware random testing for distributed systems. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. CoRR (2018)
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. CAV (2) (2018)