1 paper · 1 filter
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…