Computing bounded reach sets from sampled simulation traces. Huang, Z. & Mitra, S. In Dang, T. & Mitchell, I. M., editors, Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012, pages 291–294, 2012. ACM. Paper doi bibtex @inproceedings{DBLP:conf/hybrid/HuangM12,
author = {Zhenqi Huang and
Sayan Mitra},
editor = {Thao Dang and
Ian M. Mitchell},
title = {Computing bounded reach sets from sampled simulation traces},
booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
HSCC'12, Beijing, China, April 17-19, 2012},
pages = {291--294},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2185632.2185676},
doi = {10.1145/2185632.2185676},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/HuangM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"uGj8QdM6owZRQchmw","bibbaseid":"huang-mitra-computingboundedreachsetsfromsampledsimulationtraces-2012","downloads":0,"creationDate":"2017-10-05T05:28:27.005Z","title":"Computing bounded reach sets from sampled simulation traces","author_short":["Huang, Z.","Mitra, S."],"year":2012,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Zhenqi"],"propositions":[],"lastnames":["Huang"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]}],"editor":[{"firstnames":["Thao"],"propositions":[],"lastnames":["Dang"],"suffixes":[]},{"firstnames":["Ian","M."],"propositions":[],"lastnames":["Mitchell"],"suffixes":[]}],"title":"Computing bounded reach sets from sampled simulation traces","booktitle":"Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012","pages":"291–294","publisher":"ACM","year":"2012","url":"https://doi.org/10.1145/2185632.2185676","doi":"10.1145/2185632.2185676","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/hybrid/HuangM12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/hybrid/HuangM12,\n author = {Zhenqi Huang and\n Sayan Mitra},\n editor = {Thao Dang and\n Ian M. Mitchell},\n title = {Computing bounded reach sets from sampled simulation traces},\n booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),\n HSCC'12, Beijing, China, April 17-19, 2012},\n pages = {291--294},\n publisher = {{ACM}},\n year = {2012},\n url = {https://doi.org/10.1145/2185632.2185676},\n doi = {10.1145/2185632.2185676},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/hybrid/HuangM12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Huang, Z.","Mitra, S."],"editor_short":["Dang, T.","Mitchell, I. M."],"key":"DBLP:conf/hybrid/HuangM12","id":"DBLP:conf/hybrid/HuangM12","bibbaseid":"huang-mitra-computingboundedreachsetsfromsampledsimulationtraces-2012","role":"author","urls":{"Paper":"https://doi.org/10.1145/2185632.2185676"},"downloads":0},"search_terms":["computing","bounded","reach","sets","sampled","simulation","traces","huang","mitra"],"keywords":["verification","hybrid systems","dblp"],"authorIDs":["59d5c2fab06428b81f000015"],"dataSources":["64vhzPQouTD2xtS3j"]}