Planning for hybrid systems via Satisfiability Modulo Theories

Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi

Computer And Information Sciences

Research output: Contribution to journal › Article › peer-review

10 Downloads (Pure)

1 results
- Last Name(descending)

Michael Cashmore
- michael.cashmorestrath.acuk
- Computer And Information Sciences - Lecturer B
Person: Academic