Entropy maximization for Markov decision processes under temporal logic constraints Y Savas, M Ornik, M Cubuktepe, MO Karabag, U Topcu IEEE Transactions on Automatic Control 65 (4), 1552-1567, 2019 | 40 | 2019 |
Information-guided temporal logic inference with prior knowledge Z Xu, M Ornik, AA Julius, U Topcu 2019 American control conference (ACC), 1891-1897, 2019 | 34 | 2019 |
Deception in optimal control M Ornik, U Topcu 2018 56th Annual Allerton Conference on Communication, Control, and …, 2018 | 27 | 2018 |
Deception in supervisory control MO Karabag, M Ornik, U Topcu IEEE Transactions on Automatic Control 67 (2), 738-753, 2021 | 22 | 2021 |
Learning and planning for time-varying MDPs using maximum likelihood estimation M Ornik, U Topcu Journal of Machine Learning Research 22, 2021 | 18 | 2021 |
Quantitative resilience of linear driftless systems JB Bouvier, K Xu, M Ornik 2021 Proceedings of the Conference on Control and its Applications, 32-39, 2021 | 17 | 2021 |
Qualitative controller synthesis for consumption Markov decision processes F Blahoudek, T Brázdil, P Novotný, M Ornik, P Thangeda, U Topcu International Conference on Computer Aided Verification, 421-447, 2020 | 17 | 2020 |
Entropy maximization for constrained Markov decision processes Y Savas, M Ornik, M Cubuktepe, U Topcu 2018 56th Annual Allerton Conference on Communication, Control, and …, 2018 | 17 | 2018 |
Control-oriented learning on the fly M Ornik, S Carr, A Israel, U Topcu IEEE Transactions on Automatic Control 65 (11), 4800-4807, 2019 | 15 | 2019 |
Resilient Reachability for Linear Systems JB Bouvier, M Ornik IFAC World Congress, 2020 | 11 | 2020 |
An automated parallel parking strategy using reach control theory M Ornik, M Moarref, ME Broucke 20th IFAC World Congress, 9419-9424, 2017 | 11 | 2017 |
Designing resilient linear systems JB Bouvier, M Ornik IEEE Transactions on Automatic Control 67 (9), 4832-4837, 2022 | 10 | 2022 |
Least inferable policies for Markov decision processes MO Karabag, M Ornik, U Topcu 2019 American Control Conference (ACC), 1224-1231, 2019 | 10 | 2019 |
Chattering in the reach control problem M Ornik, ME Broucke Automatica 89, 201-211, 2018 | 9 | 2018 |
Expedited Learning in MDPs with Side Information M Ornik, J Fu, NT Lauffer, WK Perera, M Alshiekh, M Ono, U Topcu 57th IEEE Conference on Decision and Control, 2018 | 9 | 2018 |
An obstruction to solvability of the reach control problem using affine feedback M Moarref, M Ornik, ME Broucke Automatica 71, 229-236, 2016 | 9 | 2016 |
Quantitative Resilience of Linear Systems* JB Bouvier, M Ornik 2022 European Control Conference (ECC), 485-490, 2022 | 8 | 2022 |
Reachability of nonlinear systems with unknown dynamics T Shafa, M Ornik IEEE Transactions on Automatic Control 68 (4), 2407-2414, 2022 | 7 | 2022 |
Graph-based controller synthesis for safety-constrained, resilient systems M Bucić, M Ornik, U Topcu 2018 56th Annual Allerton Conference on Communication, Control, and …, 2018 | 7 | 2018 |
Optimal signal timing for multi-phase intersections P Mercader, M Ornik, PO Gutman, I Ioslovich 15th IFAC Symposium on Control in Transportation Systems, 476-481, 2018 | 7 | 2018 |