Research output per year
Research output per year
Search results
-
2020
Planning for Hybrid Systems via Satisfiability Modulo Theories
Cashmore, M., Magazzeni, D. & Zehtabi, P., Feb 2020, In: Journal Artificial Intelligence Research. 67, p. 253-283Research output: Contribution to journal › Article › peer-review
Open AccessFile23 Citations (Scopus)149 Downloads (Pure) -
2019
Planning for Hybrid Systems via Satisfiability Modulo Theory
Cashmore, M., Magazzeni, D. & Zehtabi, P., 16 Nov 2019, (Accepted/In press) In: Journal Artificial Intelligence Research.Research output: Contribution to journal › Article › peer-review
Open AccessFile302 Downloads (Pure)