Quantitative solution of ω-regular games (2001)

by L de Alfaro, R Majumdar
Venue:In STOC’01
Add To MetaCart
Results 1 - 2 of 2

Discounting the future in systems theory

by Luca De Alfaro, Thomas A. Henzinger, Rupak Majumdar - In Automata, Languages, and Programming, LNCS 2719 , 2003
"... ..."
Abstract - Cited by 35 (14 self) - Add to MetaCart
Abstract not found

Simple stochastic parity games

by Krishnendu Chatterjee, Thomas A. Henzinger - In CSL’03, volume 2803 of LNCS , 2003
"... p m), compared with O(mn) best algorithm known ..."
Abstract - Cited by 29 (15 self) - Add to MetaCart
p m), compared with O(mn) best algorithm known