Formal Abstraction of General Stochastic Systems via Noise Partitioning

John Skovbekk, Luca Laurenti, Eric Frew, Morteza Lahijanian

Research output: Contribution to journalArticleScientificpeer-review

Fingerprint

Dive into the research topics of 'Formal Abstraction of General Stochastic Systems via Noise Partitioning'. Together they form a unique fingerprint.

INIS

Mathematics

Computer Science