( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Convex Lattice Equation Systems.

, , , и . Principles of Systems Design, том 13660 из Lecture Notes in Computer Science, стр. 438-455. Springer, (2022)

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.

Giovanni Natale

Giovanni Bacigalupo

Giovanni Lamura

Giovanni Falcone

Giovanni Caselotti

 

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

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods., , , , , и . LICS, стр. 1-14. IEEE, (2021)An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages.. University of Udine, Italy, (2012)Convex Lattice Equation Systems., , , и . Principles of Systems Design, том 13660 из Lecture Notes in Computer Science, стр. 438-455. Springer, (2022)Approximating Euclidean by Imprecise Markov Decision Processes., , , , и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 275-289. Springer, (2020)Bisimulation on Markov Processes over Arbitrary Measurable Spaces., , , и . Horizons of the Mind, том 8464 из Lecture Notes in Computer Science, стр. 76-95. Springer, (2014)On-the-Fly Computation of Bisimilarity Distances., , , и . Log. Methods Comput. Sci., (2017)ONS Modeling of Diet Concepts: Further Development Required by the Objective Definition of "Western Diet"., , , , , и . JOWO, том 2969 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty., , , , , и . FM, том 10951 из Lecture Notes in Computer Science, стр. 203-221. Springer, (2018)Active Learning of Markov Decision Processes using Baum-Welch algorithm., , , и . ICMLA, стр. 1203-1208. IEEE, (2021)On the Total Variation Distance of Semi-Markov Chains., , , и . FoSSaCS, том 9034 из Lecture Notes in Computer Science, стр. 185-199. Springer, (2015)