Searched for: author%3A%22Lahijanian%2C+Morteza%22
(1 - 3 of 3)
Delimpaltadakis, Giannis (author), Lahijanian, Morteza (author), Mazo, M. (author), Laurenti, L. (author)
Interval Markov Decision Processes (IMDPs) are finite-state uncertain Markov models, where the transition probabilities belong to intervals. Recently, there has been a surge of research on employing IMDPs as abstractions of stochastic systems for control synthesis. However, due to the absence of algorithms for synthesis over IMDPs with...
conference paper 2023
Adams, S.J.L. (author), Lahijanian, Morteza (author), Laurenti, L. (author)
Neural networks (NNs) are emerging as powerful tools to represent the dynamics of control systems with complicated physics or black-box components. Due to complexity of NNs, however, existing methods are unable to synthesize complex behaviors with guarantees for NN dynamic models (NNDMs). This letter introduces a control synthesis framework for...
journal article 2022
Jackson, John (author), Laurenti, L. (author), Frew, Eric (author), Lahijanian, Morteza (author)
We present a data-driven framework for strategy synthesis for partially-known switched stochastic systems. The properties of the system are specified using linear temporal logic (LTL) over finite traces (LTLf), which is as expressive as LTL and enables interpretations over finite behaviors. The framework first learns the unknown dynamics via...
conference paper 2021