( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the metric-based approximate minimization of Markov Chains.

, , , и . J. Log. Algebraic Methods Program., (2018)

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.

Jürgen Larsen

Reinhard Larsen

Patrick Larsen

Claudia Larsen

Larsen Schütte

 

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

From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach., , и . RV, том 12399 из Lecture Notes in Computer Science, стр. 517-535. Springer, (2020)Topologies of Stochastic Markov Models: Computational Aspects., , , и . CoRR, (2014)Model-Based Verification and Analysis for Real-Time Systems., , и . Software and Systems Safety - Specification and Verification, том 30 из NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)2018 CAV award., , , и . Formal Methods Syst. Des., 57 (1): 116-117 (2021)Efficient Simulation of Quantum Circuits by Model Order Reduction., , , и . CoRR, (2023)Automata Learning Meets Shielding., , , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 335-359. Springer, (2022)Extending modal transition systems with structured labels., , , , и . Math. Struct. Comput. Sci., 22 (4): 581-617 (2012)Formal validation of supervisory energy management systems for microgrids., , , , , и . IECON, стр. 1154-1159. IEEE, (2017)Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools., , , , и . FMICS, том 9128 из Lecture Notes in Computer Science, стр. 47-61. Springer, (2015)An Integer Static Analysis for Better Extrapolation in Uppaal., , , , , и . FORMATS, том 12860 из Lecture Notes in Computer Science, стр. 84-99. Springer, (2021)