Raffaella Gentilini

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The adversarial Stackelberg value in quantitative games	2026-03-18	Paper
Passive learning of regular data languages in polynomial time and data	2026-02-10	Paper
Rational synthesis under imperfect information Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Online Firefighting on Grids	2019-07-17	Paper
The complexity of rational synthesis	2017-12-19	Paper
Finite-valued weighted automata	2017-04-25	Paper
Rank and simulation: the well-founded case Journal Of Logic And Computation	2015-12-28	Paper
Quantitative languages defined by functional automata Logical Methods in Computer Science	2015-10-29	Paper
Approximated reachability on hybrid automata: falsification meets certification Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
A note on the approximation of mean-payoff games Information Processing Letters	2014-04-17	Paper
Rank-based symbolic bisimulation: (and model checking) Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
Quantitative Languages Defined by Functional Automata Lecture Notes in Computer Science	2012-09-25	Paper
Faster algorithms for mean-payoff games Formal Methods in System Design	2011-05-23	Paper
Energy and mean-payoff games with imperfect information Computer Science Logic	2010-09-03	Paper
Algorithms and Computation Lecture Notes in Computer Science	2009-08-07	Paper
Property Driven Three-Valued Model Checking on Hybrid Automata Logic, Language, Information and Computation	2009-07-02	Paper
Symbolic graphs: Linear solutions to connectivity related problems Algorithmica	2008-02-18	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-11-14	Paper
scientific article; zbMATH DE number 2080064 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2079387 (Why is no real title available?)	2004-07-28	Paper
From bisimulation to simulation: Coarsest partition problems Journal of Automated Reasoning	2004-05-27	Paper

Research outcomes over time

This page was built for person: Raffaella Gentilini