26 citations · 49 across the 10 of their papers we have counts for
1 paper · 1 filter
Siyuan Liu, Ashutosh Trivedi, Xiang Yin +1
Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and control theory towards designing safety-critical systems. Instead of following the time-t…