3 citations · 3 across the 3 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…