51 citations · 366 across the 55 of their papers we have counts for
1 paper · 2 filters
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…