Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models
Click the Cite button above to import the BibTeX entry once published.
Oct 15, 2025
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
Click the Cite button above to import the BibTeX entry.
Mar 31, 2025
Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning
Click the Cite button above to import the BibTeX entry.
Jan 15, 2025
Systematic Translation from Natural Language Robot Task Descriptions to STL
Click the Cite button above to import the BibTeX entry.
Oct 10, 2024
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference
Click the Cite button above to import the BibTeX entry.
May 4, 2022
A Comprehensive Study of Autonomous Vehicle Bugs
Click the Cite button above to import the BibTeX entry.
May 27, 2020