Follow
Jean-RaphaŽl  Gaglione
Jean-RaphaŽl Gaglione
Ph.D. Student
Verified email at utexas.edu - Homepage
Title
Cited by
Cited by
Year
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
322021
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
162021
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
92021
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
82022
Automaton-based representations of task knowledge from generative language models
Y Yang, JR Gaglione, C Neary, U Topcu
arXiv preprint arXiv:2212.01944, 2022
62022
Learning linear temporal properties from noisy data: a maxsat approach
JR Gaglione, D Neider, R Roy, U Topcu, Z Xu
arXiv preprint arXiv:2104.15083, 2021
62021
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
52023
Uncertainty-aware signal temporal logic
N Baharisangari, JR Gaglione, D Neider, U Topcu, Z Xu
arXiv preprint arXiv:2105.11545, 2021
42021
Specification-driven video search via foundation models and formal verification
Y Yang, JR Gaglione, S Chinchali, U Topcu
arXiv preprint arXiv:2309.10171, 2023
12023
Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models
Y Yang, JR Gaglione, U Topcu
arXiv preprint arXiv:2212.01944, 2022
12022
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, ...
arXiv preprint arXiv:2306.13732, 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
The system can't perform the operation now. Try again later.
Articles 1–17