51 citations · 366 across the 55 of their papers we have counts for
1 paper · 1 filter
Jan Křetínský, Javier Esparza
When dealing with linear temporal logic properties in the setting of e.g. games or probabilistic systems, one often needs to express them as deterministic omega-automata. In order…