%0 Conference Paper %1 conf/cdc/WangR00D16 %A Wang, Yu %A Roohi, Nima %A West, Matthew %A Viswanathan, Mahesh %A Dullerud, Geir E. %B CDC %D 2016 %I IEEE %K dblp %P 3012-3017 %T Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2016.html#WangR00D16 %@ 978-1-5090-1837-6

@inproceedings{conf/cdc/WangR00D16, added-at = {2019-06-02T00:00:00.000+0200}, author = {Wang, Yu and Roohi, Nima and West, Matthew and Viswanathan, Mahesh and Dullerud, Geir E.}, biburl = {https://www.bibsonomy.org/bibtex/2b898045424a258ff1895765c422930ca/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2016}, ee = {https://www.wikidata.org/entity/Q62702154}, interhash = {40825886bba06d9386260d43429233af}, intrahash = {b898045424a258ff1895765c422930ca}, isbn = {978-1-5090-1837-6}, keywords = {dblp}, pages = {3012-3017}, publisher = {IEEE}, timestamp = {2024-04-09T15:32:38.000+0200}, title = {Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2016.html#WangR00D16}, year = 2016 }