Login / Signup

Characterization and computation of infinite-horizon specifications over Markov processes.

Ilya TkachevAlessandro Abate
Published in: Theor. Comput. Sci. (2014)
Keyphrases