29 citations · 53 across the 10 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
eess.SY2015★ 6 cited
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis
Robert Mattila, Yilin Mo, Richard M. Murray
In this paper, we consider the problem of synthesizing correct-by-construction controllers for discrete-time dynamical systems. A commonly adopted approach in the literature is to…
stat.ML2015★ 1 cited
Evaluation of Spectral Learning for the Identification of Hidden Markov Models
Robert Mattila, Cristian R. Rojas, Bo Wahlberg
Hidden Markov models have successfully been applied as models of discrete time series in many fields. Often, when applied in practice, the parameters of these models have to be est…