Computer Assisted Composition in Continuous Time. - Chamin Hewa Koneputugodage; Rhys Healy; Sean Lamont; Ian Mallett 002; Matt Brown; Matt Walters; Ushini Attanayake; Libo Zhang; Roger T. Dean; Alexander Hunter; Charles Gretton; Christian Walder (CoRR, 2019)

Progression Heuristics for Planning with Probabilistic LTL Constraints. - Ian Mallett 002; Sylvie Thiébaux; Felipe W. Trevizan (AAAI, 2021)