Marco Roveri

Computational Theory and Mathematics · 2000–2014

A researcher in the Science corpus: 5 papers; trusts 2 researchers and is trusted by 6 researchers here, as inferred from the citation graph.

Subfields

Whom Marco Roveri trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Blai Bonet

Who trusts Marco Roveri overall

  1. Paolo Traverso
  2. Christel Baier
  3. Marco Pistore
  4. Edmund M. Clarke

Papers from Marco Roveri's perspective

Ordered by how strongly the researchers Marco Roveri trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Planning as Model Checking
  2. Learning to Act Using Real-Time Dynamic Programming
  3. Interpolation and SAT-Based Model Checking (International Conference on Computer Aided Verification)
  4. Decision-Theoretic Planning: Structural Assumptions and Computational Leverage
  5. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  6. Planning with Incomplete Information as Heuristic Search in Belief Space (International Conference on Artificial Intelligence Planning Systems)
  7. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  8. Checking Safety Properties Using Induction and a SAT-Solver (Formal Methods in Computer-Aided Design)
  9. Counterexample-guided abstraction refinement for symbolic model checking (JACM)
  10. Satisfiability Modulo Theories

Their papers