Integration of deterministic inference with formal synthesis for control under uncertainty

Kevin J. Leahy, Prasanna Kannappan, Adam Jardine, Herbert Tanner, Jeffrey Heinz, Calin Belta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Fingerprint

Dive into the research topics of 'Integration of deterministic inference with formal synthesis for control under uncertainty'. Together they form a unique fingerprint.

Mathematics

Computer Science

Keyphrases