Fedor Shmarov
Identifiers
- name variant Fedor Shmarov 0.60 · backfill
Papers (3)
- Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems cs.SY · 2017 · author #1
- ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems cs.LO · 2014 · author #1
- Probabilistic bounded reachability for hybrid systems with continuous nondeterministic and probabilistic parameters cs.LO · 2014 · author #1
Mentions
- 1406.1920 #1 · backfill · confidence 0.70 Fedor Shmarov
Frequent Coauthors
- Paolo Zuliani 3 shared papers
- Ezio Bartocci 1 shared papers
- Nicola Paoletti 1 shared papers
- Scott A. Smolka 1 shared papers
- Shan Lin 1 shared papers