( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Cost vs. time in stochastic games and Markov automata.

, , , , , и . Formal Asp. Comput., 29 (4): 629-649 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Luis Miguel Ferrer Caubet

Werner Luis

Luis María Viña Liste

Pia Luislampe

Mathieu Luisier

 

Другие публикации лиц с тем же именем

Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms., , и . Theor. Comput. Sci., (2014)Synthesizing Probabilistic Invariants via Doob's Decomposition., , , и . CAV (1), том 9779 из Lecture Notes in Computer Science, стр. 43-61. Springer, (2016)Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers., , и . CONCUR, том 5710 из Lecture Notes in Computer Science, стр. 338-353. Springer, (2009)