| VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ... International Conference on Computer Aided Verification, 432-442, 2019 | 242 | 2019 |
| Formal specification for deep neural networks SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ... Automated Technology for Verification and Analysis: 16th International …, 2018 | 128 | 2018 |
| Learning Task Specifications from Demonstrations M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, SA Seshia Neural Information Processing Systems, 2018 | 84 | 2018 |
| Logical Clustering and Learning for Time-Series Data SS Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin International Conference on Computer Aided Verification, 2017 | 50* | 2017 |
| Interpretable classification of time-series data using efficient enumerative techniques S Mohammadinejad, JV Deshmukh, AG Puranic, M Vazquez-Chanlatte, ... Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 43 | 2020 |
| Model checking finite-horizon Markov chains with probabilistic inference S Holtzen, S Junges, M Vazquez-Chanlatte, T Millstein, SA Seshia, ... International Conference on Computer Aided Verification, 577-601, 2021 | 18 | 2021 |
| Maximum Causal Entropy Specification Inference from Demonstrations M Vazquez-Chanlatte, SA Seshia International Conference on Computer Aided Verification, 2020 | 16 | 2020 |
| Time-series learning using monotonic logical properties M Vazquez-Chanlatte, S Ghosh, JV Deshmukh, A Sangiovanni-Vincentelli, ... Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018 | 15 | 2018 |
| A Model Counter's Guide to Probabilistic Systems M Vazquez-Chanlatte, R Markus N, SA Seshia | 9 | 2018 |
| Learning Monitorable Operational Design Domains for Assured Autonomy H Torfah, C Xie, S Junges, M Vazquez-Chanlatte, SA Seshia International Symposium on Automated Technology for Verification and …, 2022 | 8 | 2022 |
| VerifAI: A toolkit for the design and analysis of artificial intelligence-based systems D Tommaso, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ... Proceedings of the 31st Conference on Computer Aided Verification, CAV 2019, 2019 | 6 | 2019 |
| Surprise-Guided Search for Learning Task Specifications from Demonstrations M Vazquez-Chanlatte, A Shah, G Lederman, SA Seshia arXiv preprint arXiv:2112.10807, 2021 | 5* | 2021 |
| Learning deterministic finite automata decompositions from examples and demonstrations N Lauffer, B Yalcinkaya, M Vazquez-Chanlatte, A Shah, SA Seshia CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2022, 325, 2022 | 4 | 2022 |
| Entropy-Guided Control Improvisation M Vazquez-Chanlatte, S Junges, DJ Fremont, S Seshia arXiv preprint arXiv:2103.05672, 2021 | 4 | 2021 |
| Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games MJ Vazquez-Chanlatte, S Ghosh, V Raman, A Sangiovanni-Vincentelli, ... ADHS, 2018 | 4 | 2018 |
| mvcisback/py-aiger, August 2018 M Vazquez-Chanlatte URL https://doi. org/10 5281, 0 | 3 | |
| Learning Formal Specifications from Membership and Preference Queries A Shah, M Vazquez-Chanlatte, S Junges, SA Seshia arXiv preprint arXiv:2307.10434, 2023 | 2 | 2023 |
| Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs YV Pant, BT Kumaravel, A Shah, E Kraemer, M Vazquez-Chanlatte, ... 2022 IEEE 25th International Conference on Intelligent Transportation …, 2022 | 2 | 2022 |
| Specifications from Demonstrations: Learning, Teaching, and Control M Vazquez-Chanlatte University of California, Berkeley, 2022 | 2 | 2022 |
| Tech report: Modeling and influencing human attentiveness in autonomyto-human perception hand-offs YV Pant, BT Kumaravel, A Shah, E Kraemer, M Vazquez-Chanlatte, ... | 1 | 2022 |
Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的电子邮件经过验证
