Research Interests

(Thanks to world cloud)

  • Planning in Non deterministic Domains via Symbolic Model Checking

  • Planning e Scheduling under uncertainty via Satisfiability Modulo Theory

  • Integration of Planning & Scheduling with Execution and Monitoring

  • Integration of Planning & Scheduling with Motion Planning

  • Formal Verification of Industrial Critical Systems

  • Symbolic Model Checking (BDD-based, SAT-based, SMT-based, Bounded Model Checking)

  • Software model checking of sequential and concurrent code

  • Formal requirements analysis

  • Decision procedures and their application to formal verification

  • Satisfiability Modulo Theory (SMT)