Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Asarin, E., Schneider, G., & Yovine, S. Theor. Comput. Sci., 379(1-2):231-265, 2007.
Link
Paper bibtex @article{journals/tcs/AsarinSY07,
added-at = {2020-10-26T00:00:00.000+0100},
author = {Asarin, Eugene and Schneider, Gerardo and Yovine, Sergio},
biburl = {https://www.bibsonomy.org/bibtex/2867188c3fc1939cff56da814bff65162/dblp},
ee = {https://doi.org/10.1016/j.tcs.2007.03.055},
interhash = {6ed6c144dc9b85e9b56f50b9ecdb91e6},
intrahash = {867188c3fc1939cff56da814bff65162},
journal = {Theor. Comput. Sci.},
keywords = {dblp},
number = {1-2},
pages = {231-265},
timestamp = {2020-10-27T12:17:17.000+0100},
title = {Algorithmic analysis of polygonal hybrid systems, part I: Reachability.},
url = {http://dblp.uni-trier.de/db/journals/tcs/tcs379.html#AsarinSY07},
volume = 379,
year = 2007
}
Downloads: 0
{"_id":"oi3HhSpBW6SLdRgnJ","bibbaseid":"asarin-schneider-yovine-algorithmicanalysisofpolygonalhybridsystemspartireachability-2007","author_short":["Asarin, E.","Schneider, G.","Yovine, S."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-10-26T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Asarin"],"firstnames":["Eugene"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Gerardo"],"suffixes":[]},{"propositions":[],"lastnames":["Yovine"],"firstnames":["Sergio"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2867188c3fc1939cff56da814bff65162/dblp","ee":"https://doi.org/10.1016/j.tcs.2007.03.055","interhash":"6ed6c144dc9b85e9b56f50b9ecdb91e6","intrahash":"867188c3fc1939cff56da814bff65162","journal":"Theor. Comput. Sci.","keywords":"dblp","number":"1-2","pages":"231-265","timestamp":"2020-10-27T12:17:17.000+0100","title":"Algorithmic analysis of polygonal hybrid systems, part I: Reachability.","url":"http://dblp.uni-trier.de/db/journals/tcs/tcs379.html#AsarinSY07","volume":"379","year":"2007","bibtex":"@article{journals/tcs/AsarinSY07,\n added-at = {2020-10-26T00:00:00.000+0100},\n author = {Asarin, Eugene and Schneider, Gerardo and Yovine, Sergio},\n biburl = {https://www.bibsonomy.org/bibtex/2867188c3fc1939cff56da814bff65162/dblp},\n ee = {https://doi.org/10.1016/j.tcs.2007.03.055},\n interhash = {6ed6c144dc9b85e9b56f50b9ecdb91e6},\n intrahash = {867188c3fc1939cff56da814bff65162},\n journal = {Theor. Comput. Sci.},\n keywords = {dblp},\n number = {1-2},\n pages = {231-265},\n timestamp = {2020-10-27T12:17:17.000+0100},\n title = {Algorithmic analysis of polygonal hybrid systems, part I: Reachability.},\n url = {http://dblp.uni-trier.de/db/journals/tcs/tcs379.html#AsarinSY07},\n volume = 379,\n year = 2007\n}\n\n","author_short":["Asarin, E.","Schneider, G.","Yovine, S."],"key":"journals/tcs/AsarinSY07","id":"journals/tcs/AsarinSY07","bibbaseid":"asarin-schneider-yovine-algorithmicanalysisofpolygonalhybridsystemspartireachability-2007","role":"author","urls":{"Link":"https://doi.org/10.1016/j.tcs.2007.03.055","Paper":"http://dblp.uni-trier.de/db/journals/tcs/tcs379.html#AsarinSY07"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Schneider?items=1000","dataSources":["i8SRmtQi2JMEkzH9M"],"keywords":["dblp"],"search_terms":["algorithmic","analysis","polygonal","hybrid","systems","part","reachability","asarin","schneider","yovine"],"title":"Algorithmic analysis of polygonal hybrid systems, part I: Reachability.","year":2007}