Semi-supervised pattern synthesis in spatially distributed dynamical systems. - Iman Haghighi; Kevin Leahy 001; Rachael Ivison; Calin Belta (ACC, 2017)

Grid-based temporal logic inference. - Prashant Vaidyanathan; Rachael Ivison; Giuseppe Bombara; Nicholas A. DeLateur; Ron Weiss; Douglas Densmore; Calin Belta (CDC, 2017)