6 citations · 22 across the 13 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2022
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…
cs.FL2022
Machine-checked executable semantics of Stateflow
Shicheng Yi, Shuling Wang, Bohua Zhan +1
Simulink is a widely used model-based development environment for embedded systems. Stateflow is a component of Simulink for modeling event-driven control via hierarchical state ma…
cs.FL2019
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…