Vahid Hashemi
Identifiers
No identifiers captured yet.
Papers (5)
- Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions cs.RO · 2024 · author #7
- Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters cs.AI · 2017 · author #3
- Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes cs.SY · 2017 · author #2
- Compositional Reasoning for Interval Markov Decision Processes cs.LO · 2016 · author #1
- Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs cs.FL · 2014 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Holger Hermanns 3 shared papers
- Andrea Turrini 2 shared papers
- Bart van Arem 1 shared papers
- Dimitri Scheftelowitsch 1 shared papers
- Ernst Moritz Hahn 1 shared papers
- Erwin de Gelder 1 shared papers
- Hassan Hatefi 1 shared papers
- Jan Kr\v{c}\'al 1 shared papers
- Jorge Lorente Mallada 1 shared papers
- Marcel Sonntag 1 shared papers
- Morteza Lahijanian 1 shared papers
- Peter Buchholz 1 shared papers
- Sabine Rieder 1 shared papers
- Saeed Rahmani 1 shared papers
- Simeon C. Calvert 1 shared papers
- Sytze Kalisvaart 1 shared papers