| A barrier function approach to finite-time stochastic system verification and control C Santoyo, M Dutreix, S Coogan Automatica 125, 109439, 2021 | 81 | 2021 |
| Tight decomposition functions for continuous-time mixed-monotone systems with disturbances M Abate, M Dutreix, S Coogan IEEE Control Systems Letters 5 (1), 139-144, 2020 | 37 | 2020 |
| Verification and control for finite-time safety of stochastic systems via barrier functions C Santoyo, M Dutreix, S Coogan 2019 IEEE conference on control technology and applications (CCTA), 712-717, 2019 | 30 | 2019 |
| Specification-guided verification and abstraction refinement of mixed monotone stochastic systems M Dutreix, S Coogan IEEE Transactions on Automatic Control 66 (7), 2975-2990, 2020 | 27 | 2020 |
| Abstraction-based synthesis for stochastic systems with omega-regular objectives M Dutreix, J Huh, S Coogan Nonlinear Analysis: Hybrid Systems 45, 101204, 2022 | 25 | 2022 |
| Efficient verification for stochastic mixed monotone systems M Dutreix, S Coogan 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018 | 16 | 2018 |
| Verification and synthesis for stochastic systems with temporal logic specifications MDH Dutreix Georgia Institute of Technology, 2020 | 5 | 2020 |
| Quantile forecasts for traffic predictive control M Dutreix, S Coogan 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 5666-5671, 2017 | 3 | 2017 |
| Satisfiability bounds for co-regular properties in interval-valued markov chains M Dutreix, S Coogan 2018 IEEE Conference on Decision and Control (CDC), 1047-1052, 2018 | 2 | 2018 |
| Satisfiability Bounds for {\omega}-regular Properties in Interval-valued Markov Chains M Dutreix, S Coogan arXiv preprint arXiv:1809.06352, 2018 | 1 | 2018 |
| Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions M Dutreix, C Santoyo, M Abate, S Coogan 2020 American Control Conference (ACC), 3583-3588, 2020 | | 2020 |
| Traffic Predictive Control: Case Study and Evaluation S Coogan, M Dutreix | | 2017 |
