Formal Control Synthesis for Stochastic Neural Network Dynamic Models

S.J.L. Adams*, Morteza Lahijanian, L. Laurenti

*Corresponding author for this work

Research output: Contribution to journalArticleScientificpeer-review

6 Citations (Scopus)
9 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal Control Synthesis for Stochastic Neural Network Dynamic Models'. Together they form a unique fingerprint.

INIS

Computer Science