Staff Profile
Dr Fedor Shmarov
Research Associate
Publications
- Shmarov F, Paoletti N, Bartocci E, Lin S, Smolka SA, Zuliani P. SMT-based synthesis of safe and robust PID controllers for stochastic hybrid systems. In: HVC 2017: Hardware and Software: Verification and Testing. 2017, Haifa, Israel: Springer Verlag.
- Madsen C, Shmarov F, Zuliani P. BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models. In: 13th International Conference on Computational Methods in Systems Biology (CMSB). 2015, Nantes, France: Springer.
- Shmarov F, Zuliani P. ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. In: 18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2015, Seattle, WA, USA: ACM.