Improved Pseudo-polynomial Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games von Comin, Carlo, Rizzi, Romeo

Volltext

Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm von Comin, Carlo, Rizzi, Romeo

Volltext

Checking dynamic consistency of conditional hyper temporal networks via mean payoff games von Comin, Carlo, Rizzi, Romeo

Volltext

An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication von Comin, Carlo, Rizzi, Romeo

Volltext

Sorting with forbidden intermediates von Comin, Carlo, Labarre, Anthony, Rizzi, Romeo, Vialette, Stéphane

Volltext

Hyper temporal networks: A tractable generalization of simple temporal networks and its relation to mean payoff games von Comin, Carlo, Posenato, Roberto, Rizzi, Romeo

Volltext

Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks von Cairo, Massimo, Comin, Carlo, Rizzi, Romeo

Volltext

Sorting With Forbidden Intermediates von Comin, Carlo, Labarre, Anthony, Rizzi, Romeo, Vialette, Stéphane

Volltext

Hyper temporal networks von Comin, Carlo, Posenato, Roberto, Rizzi, Romeo

Volltext

Complexité dans les Jeux Infinis sur les Graphes et les Réseaux de Contraintes Temporelles von Comin, Carlo

Volltext bestellen

Energy Structure of Optimal Positional Strategies in Mean Payoff Games von Comin, Carlo

Volltext bestellen

On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier von Comin, Carlo, Rizzi, Romeo

Volltext bestellen

Linear-Time Safe-Alternating DFS and SCCs von Comin, Carlo, Rizzi, Romeo

Volltext

Sorting with Forbidden Intermediates von Comin, Carlo, Labarre, Anthony, Rizzi, Romeo, Vialette, Stéphane

Volltext

Linear-Time Safe-Alternating DFS and SCCs von Comin, Carlo, Rizzi, Romeo

Volltext bestellen

Faster O(|V|^2|E|W)-Time Energy Algorithms for Optimal Strategy Synthesis in Mean Payoff Games von Comin, Carlo, Rizzi, Romeo

Volltext bestellen

(Extended Version) Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata von Comin, Carlo

Volltext bestellen

Energy Structure of Optimal Positional Strategies in Mean Payoff Games von Comin, Carlo

Volltext

Checking Dynamic Consistency of Conditional Hyper Temporal Networks via Mean Payoff Games (Hardness and (pseudo) Singly-Exponential Time Algorithm) von Comin, Carlo, Rizzi, Romeo

Volltext bestellen

An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication von Comin, Carlo, Rizzi, Romeo

Volltext bestellen