50 citations · 51 across the 6 of their papers we have counts for
1 paper · 2 filters
Jorge A. Baier, Alberto Camacho, Christian Muise +1
LTL synthesis -- the construction of a function to satisfy a logical specification formulated in Linear Temporal Logic -- is a 2EXPTIME-complete problem with relevant applications…