Giovanni Bacci

46 papers A* 2A 1B 7C 4Journal 18Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Distributed Multi-UAV Partition-Based Patrolling with Fault Tolerance: A Study on Meeting-Based Coordination Strategies. ICAART (1) Puvikaran Santhirasegaram, Henrik Van Peet, Mads Beyer Mogensen, Giovanni Bacci, Timothy Robert Merritt, Michele Albano
2024	—	`conf`	Dissimilarity for Linear Dynamical Systems. QEST+FORMATS Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	—	`conf`	An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. QEST Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
2023	—	`conf`	Jajapy: A Learning Library for Stochastic Models. QEST Raphaël Reynouard, Anna Ingólfsdóttir, Giovanni Bacci
2023	J	`jnl`	MM Algorithms to Estimate Parameters in Continuous-time Markov Chains. CoRR Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
2022	—	`conf`	Convex Lattice Equation Systems. Principles of Systems Design Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen
2021	J	`jnl`	Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended). CoRR Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
2021	C	`conf`	Active Learning of Markov Decision Processes using Baum-Welch algorithm. ICMLA Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
2021	J	`jnl`	Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Log. Methods Comput. Sci. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2021	A*	`conf`	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	L Formal Aspects Comput. Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2021	J	`jnl`	Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2021	—	`conf`	Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard
2020	—	`conf`	Approximating Euclidean by Imprecise Markov Decision Processes. ISoLA (1) Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
2020	J	`jnl`	Approximating Euclidean by Imprecise Markov Decision Processes. CoRR Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
2019	B	`conf`	Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CONCUR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2019	J	`jnl`	Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2019	J	`jnl`	Converging from branching to linear metrics on Markov chains. Math. Struct. Comput. Sci. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2019	B	`conf`	L FM Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2019	J	`jnl`	L*-Based Learning of Markov Decision Processes (Extended Version). CoRR Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2019	—	`conf`	Model Checking Constrained Markov Reward Models with Uncertainties. QEST Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
2018	J	`jnl`	A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Log. Methods Comput. Sci. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2018	B	`conf`	Complete Axiomatization for the Total Variation Distance of Markov Chains. MFPS Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2018	J	`jnl`	On the Metric-based Approximate Minimization of Markov Chains. CoRR Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2018	—	`conf`	On the Verification of Weighted Kripke Structures Under Uncertainty. QEST Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
2018	J	`jnl`	On the metric-based approximate minimization of Markov Chains. J. Log. Algebraic Methods Program. Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2018	B	`conf`	Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
2018	J	`jnl`	Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. CoRR Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2017	J	`jnl`	A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2017	—	`ed.`	Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday Models, Algorithms, Logics and Tools Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare
2017	A*	`conf`	On the Metric-Based Approximate Minimization of Markov Chains. ICALP Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2017	J	`jnl`	On-the-Fly Computation of Bisimilarity Distances. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2017	J	`jnl`	On-the-Fly Computation of Bisimilarity Distances. Log. Methods Comput. Sci. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2016	B	`conf`	Complete Axiomatization for the Bisimilarity Distance on Markov Chains. CONCUR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2015	C	`conf`	Converging from Branching to Linear Metrics on Markov Chains. ICTAC Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2015	B	`conf`	On the Total Variation Distance of Semi-Markov Chains. FoSSaCS Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
2014	—	`conf`	Bisimulation on Markov Processes over Arbitrary Measurable Spaces. Horizons of the Mind Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
2014	J	`jnl`	Topologies of Stochastic Markov Models: Computational Aspects. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2013	B	`conf`	Computing Behavioral Distances, Compositionally. MFCS Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2013	A	`conf`	On-the-Fly Exact Computation of Bisimilarity Distances. TACAS Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2013	—	`conf`	The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. QEST Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
2012	—	`—`	An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages. Giovanni Bacci
2012	C	`conf`	Automatic synthesis of specifications for first order curry programs. PPDP Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva
2012	—	`conf`	The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva
2010	C	`conf`	Abstract Diagnosis of First Order Functional Logic Programs. LOPSTR Giovanni Bacci, Marco Comini