1 paper · 1 filter
Derek Egolf, Stavros Tripakis
The correctness problem for reactive systems has been thoroughly explored and is well understood. Meanwhile, the efficiency problem for reactive systems has not received the same a…