Carlo Comin
Author
Alternate name Carlo Comin
Institution University of Verona
Past institutions University of Verona, Université Gustave Eiffel, Laboratoire d'Informatique Gaspard-Monge, University of Trento, Paris-Est Sup +1 more
ORCID: Yes
H-index: 6
I10-index: 6
Works count: 43
Citations count: 106
Improved Pseudo-polynomial Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games
2016 · Carlo Comin, Roméo Rizzi · Algorithmica
Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking
2015 · Carlo Comin, Roméo Rizzi
Incorporating Decision Nodes into Conditional Simple Temporal Networks
2017 · Massimo Cairo, Carlo Combi, et al. · International Symposium on Temporal Representation and Reasoning