Fedor Shmarov

Identifiers

• name variant Fedor Shmarov 0.60 · backfill

Papers (3)

1. Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems cs.SY · 2017 · author #1
2. ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems cs.LO · 2014 · author #1
3. 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