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)