Zhang, Changjian
- Constrained LTL Specification Learning from Examples
2024/12/03 by Zhang, Changjian, Kapoor, Parv, Dardik, Ian +4 · 1 citation
#D.2.1 #D.2.2 #D.2.4 #D.3.1 #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)