M. Roveri

Identifiers

• name variant M. Roveri 0.60 · backfill

Papers (1)

1. Conformant Planning via Symbolic Model Checking cs.AI · 2011 · author #2

Mentions

• 1106.0252 #2 · backfill · confidence 0.70 M. Roveri

Frequent Coauthors

• A. Cimatti 1 shared papers