M. Roveri
Identifiers
- name variant M. Roveri 0.60 · backfill
Papers (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