( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Repair Revamped: On the Automated Synthesis of Markov Chains.

, , , , и . CoRR, (2021)

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.

Vaclav Ceska

Marco Milan

Gabriele Milanovic

Alessandra Milandri

Thomas L Milani

 

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

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters., , и . EUROCAST (2), том 10672 из Lecture Notes in Computer Science, стр. 38-46. Springer, (2017)Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error., , , , и . EUROCAST (1), том 12013 из Lecture Notes in Computer Science, стр. 482-490. Springer, (2019)Partial-Order Reduction in Model Checking Object-Oriented Petri Nets., , и . EUROCAST, том 2809 из Lecture Notes in Computer Science, стр. 265-278. Springer, (2003)Generating and using state spaces of object-oriented Petri nets., , и . Comput. Syst. Sci. Eng., 16 (3): 183-193 (2001)Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection., , , , и . CoRR, (2017)Approximate reduction of finite automata for high-speed network intrusion detection., , , , и . Int. J. Softw. Tools Technol. Transf., 22 (5): 523-539 (2020)Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components., , , , и . Euro-Par Workshops, том 10104 из Lecture Notes in Computer Science, стр. 519-531. Springer, (2016)Abstraction-Based Segmental Simulation of Chemical Reaction Networks., , , и . CMSB, том 13447 из Lecture Notes in Computer Science, стр. 41-60. Springer, (2022)Model Checking of Biological Systems., , и . SFM, том 7938 из Lecture Notes in Computer Science, стр. 63-112. Springer, (2013)Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'., , , , , и . (апреля 2023)