1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DS2015
Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: a Singly-Exponential Time DC-Checking
Carlo Comin, Romeo Rizzi
Conditional Simple Temporal Network (CSTN) is a constraint-based graph-formalism for conditional temporal planning. It offers a more flexible formalism than the equivalent CSTP mod…
cs.FL2012★ 1 cited
Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata
Carlo Comin, Maria Paola Bianchi
We study a model of one-way quantum automaton where only measurement operations are allowed (MOn-1qfa). We give an algebraic characterization of LMO, showing that the syntactic mon…