1. ASQ-IT: Interactive explanations for reinforcement-learning agents;Artificial Intelligence;2024-10
2. Specification Sketching for Linear Temporal Logic;Automated Technology for Verification and Analysis;2023
3. Checking and Sketching Causes on Temporal Sequences;Automated Technology for Verification and Analysis;2023
4. Temporal-logic query checking over finite data streams;International Journal on Software Tools for Technology Transfer;2022-04-05
5. Temporal-Logic Query Checking over Finite Data Streams;Formal Methods for Industrial Critical Systems;2020