Research Position Multi-Robot Systems SMT Solvers Task Allocation Python MILP Formal Methods
Research Assistant
WPI Automata Lab
Worcester, MA
Working in the Automata Lab at WPI on formal methods for multi-robot task planning.
Work
- Creating benchmarks to compare MILP solutions from literature to a novel SMT-based method for solving Multi-Agent CaTL (Capability Temporal Logic) encoded task specifications
- Solving high-level plans using Satisfiability-Modulo-Theorem (SMT) solvers
- Built a generic benchmark tool to generate random scenarios and compare solver types across metrics including runtime, scalability, and solution quality