6 citations · 11 across the 13 of their papers we have counts for
6 papers · 1 filter
Mining DTA with SMT by Exploiting Simple Elementary Language and Timed Augmented Prefix Acceptor
Ziran Wang, Jie An, Naijun Zhan
Timed automata, which extend finite state automata by introducing clock variables, serve as a popular formalism for specifying and analyzing the timed behaviors of real-time system…
RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
Yue Fang, Jin Zhi, Jie An +3
Signal Temporal Logic (STL) is a powerful formal language for specifying real-time specifications of Cyber-Physical Systems (CPS). Transforming specifications written in natural la…
On Synthesis of Timed Regular Expressions
Ziran Wang, Jie An, Naijun Zhan +2
Timed regular expressions serve as a formalism for specifying real-time behaviors of Cyber-Physical Systems. In this paper, we consider the synthesis of timed regular expressions,…
Learning Deterministic Multi-Clock Timed Automata
Yu Teng, Miaomiao Zhang, Jie An
We present an algorithm for active learning of deterministic timed automata with multiple clocks. The algorithm is within the querying framework of Angluin's algorithm and fo…
Active Learning of One-Clock Timed Automata using Constraint Solving
Runqing Xu, Jie An, Bohua Zhan
Active automata learning in the framework of Angluin's algorithm has been applied to learning many kinds of automata models. In applications to timed models such as timed aut…
Learning One-Clock Timed Automata
Jie An, Mingshuai Chen, Bohua Zhan +2
We present an algorithm for active learning of deterministic timed automata with a single clock. The algorithm is within the framework of Angluin's algorithm and inspired by…