| Advice-guided reinforcement learning in a non-Markovian environment D Neider, JR Gaglione, I Gavran, U Topcu, B Wu, Z Xu Proceedings of the AAAI Conference on Artificial Intelligence 35 (10), 9073-9080, 2021 | 32 | 2021 |
| Learning linear temporal properties from noisy data: A maxsat-based approach JR Gaglione, D Neider, R Roy, U Topcu, Z Xu Automated Technology for Verification and Analysis: 19th International …, 2021 | 23 | 2021 |
| Uncertainty-aware signal temporal logic inference N Baharisangari, JR Gaglione, D Neider, U Topcu, Z Xu International Workshop on Numerical Software Verification, 61-85, 2021 | 9 | 2021 |
| Learning interpretable temporal properties from positive examples only R Roy, JR Gaglione, N Baharisangari, D Neider, Z Xu, U Topcu Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6507-6515, 2023 | 8 | 2023 |
| Automaton-based representations of task knowledge from generative language models Y Yang, JR Gaglione, C Neary, U Topcu arXiv preprint arXiv:2212.01944, 2022 | 7 | 2022 |
| Maxsat-based temporal logic inference from noisy data JR Gaglione, D Neider, R Roy, U Topcu, Z Xu Innovations in Systems and Software Engineering 18 (3), 427-442, 2022 | 7 | 2022 |
| Uncertainty-aware signal temporal logic N Baharisangari, JR Gaglione, D Neider, U Topcu, Z Xu arXiv preprint arXiv:2105.11545, 2021 | 4 | 2021 |
| Specification-driven video search via foundation models and formal verification Y Yang, JR Gaglione, S Chinchali, U Topcu arXiv preprint arXiv:2309.10171, 2023 | 2 | 2023 |
| Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models. Y Yang, JR Gaglione, U Topcu arXiv preprint arXiv:2212.01944, 2022 | 1 | 2022 |
| Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine SM Alsadat, JR Gaglione, D Neider, U Topcu, Z Xu arXiv preprint arXiv:2402.07069, 2024 | | 2024 |
| Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine S Meshkat Alsadat, JR Gaglione, D Neider, U Topcu, Z Xu arXiv e-prints, arXiv: 2402.07069, 2024 | | 2024 |
| Large Language Models for Verifiable Sequential Decision-Making in Autonomous Systems Y Yang, JR Gaglione, C Neary 2nd Workshop on Language and Robot Learning: Language as Grounding, 2023 | | 2023 |
| Reinforcement Learning with Temporal-Logic-Based Causal Diagrams Y Paliwal, R Roy, JR Gaglione, N Baharisangari, D Neider, X Duan, ... International Cross-Domain Conference for Machine Learning and Knowledge …, 2023 | | 2023 |
| Reinforcement Learning With Reward Machines in Stochastic Games J Hu, JR Gaglione, Y Wang, Z Xu, U Topcu, Y Liu arXiv preprint arXiv:2305.17372, 2023 | | 2023 |
| Do Invariances in Deep Neural Networks Align with Human Perception? R Roy, JR Gaglione, N Baharisangari, D Neider, Z Xu, U Topcu 37th AAAI Conference on Artificial Intelligence, 6507-6515, 2023 | | 2023 |
| Learning Temporal Logic Properties: an Overview of Two Recent Methods JR Gaglione, R Roy, N Baharisangari, D Neider, Z Xu, U Topcu arXiv preprint arXiv:2212.00916, 2022 | | 2022 |
