activity
20122018
most citedAlgebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.DSShow all

1 paper · 1 filter

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…