Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge.
CoRR, May, 2025
CauMon: An Informative Online Monitor for Signal Temporal Logic.
Dataset, June, 2024
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact).
Dataset, April, 2024
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact).
Dataset, April, 2024
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact).
Dataset, April, 2024
Learning Deterministic Multi-Clock Timed Automata.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
CauMon: An Informative Online Monitor for Signal Temporal Logic.
Proceedings of the Formal Methods - 26th International Symposium, 2024
The Opacity of Timed Automata.
Proceedings of the Formal Methods - 26th International Symposium, 2024
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Online Causation Monitoring of Signal Temporal Logic (Artifact).
Dataset, April, 2023
Online Causation Monitoring of Signal Temporal Logic (Artifact).
Dataset, April, 2023
Online Causation Monitoring of Signal Temporal Logic.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Active Learning of One-Clock Timed Automata Using Constraint Solving.
Proceedings of the Automated Technology for Verification and Analysis, 2022
Learning Deterministic One-Clock Timed Automata via Mutation Testing.
Proceedings of the Automated Technology for Verification and Analysis, 2022
Learning Nondeterministic Real-Time Automata.
ACM Trans. Embed. Comput. Syst., 2021
Inferring Switched Nonlinear Dynamical Systems.
Formal Aspects Comput., 2021
Learning real-time automata.
Sci. China Inf. Sci., 2021
From model to implementation: a network algorithm programming language.
Sci. China Inf. Sci., 2020
Learning One-Clock Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
PAC Learning of Deterministic One-Clock Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2020
High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019
NIL: Learning Nonlinear Interpolants.
Proceedings of the Automated Deduction - CADE 27, 2019
The Opacity of Real-Time Automata.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Model Checking Bounded Continuous-time Extended Linear Duration Invariants.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018