22 citations · 23 across the 2 of their papers we have counts for
2 papers
cs.SE2015★ 1 cited
PAC Learning-Based Verification and Model Synthesis
Yu-Fang Chen, Chiao Hsieh, Ondřej Lengál +4
We introduce a novel technique for verification and model synthesis of sequential programs. Our technique is based on learning a regular model of the set of feasible paths in a pro…
cs.FL2014★ 22 cited
State of Büchi Complementation
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi +1
Complementation of Büchi automata has been studied for over five decades since the formalism was introduced in 1960. Known complementation constructions can be classified into Rams…