Rachael Ivison

Grid-based temporal logic inference

Calin Belta, Ron Weiss, Prashant Vaidyanathan, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

Semi-supervised pattern synthesis in spatially distributed dynamical systems

Calin Belta, Iman Haghighi, Kevin Leahy, 2017, 2017 American Control Conference (ACC).