Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis. Benvenuti, L., Bresolin, D., Collins, P., Ferrari, A., Geretti, L., & Villa, T. In Proc. of 6th International workshop on Reachability Problems (RP'12), volume 7550, of LNCS, pages 79–91, Settembre, 2012. Springer. bibtex @inproceedings{rp2012,
Author = {L. Benvenuti and D. Bresolin and P. Collins and A. Ferrari and L. Geretti and T. Villa},
Booktitle = {Proc. of 6th International workshop on Reachability Problems (RP'12)},
Date-Added = {2012-07-03 16:01:36 +0200},
Date-Modified = {2013-07-24 15:21:13 +0200},
Fpage = 79,
Lpage = 91,
Month = {Settembre},
Numpages = 7,
Pages = {79--91},
Publisher = {Springer},
Series = {LNCS},
Title = {Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis},
Volume = {7550},
Year = {2012}}
Downloads: 0
{"_id":"J955LG6DTLXLy6viX","bibbaseid":"benvenuti-bresolin-collins-ferrari-geretti-villa-ariadnedominancecheckingofnonlinearhybridautomatausingreachabilityanalysis-2012","author_short":["Benvenuti, L.","Bresolin, D.","Collins, P.","Ferrari, A.","Geretti, L.","Villa, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["L."],"propositions":[],"lastnames":["Benvenuti"],"suffixes":[]},{"firstnames":["D."],"propositions":[],"lastnames":["Bresolin"],"suffixes":[]},{"firstnames":["P."],"propositions":[],"lastnames":["Collins"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Ferrari"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Geretti"],"suffixes":[]},{"firstnames":["T."],"propositions":[],"lastnames":["Villa"],"suffixes":[]}],"booktitle":"Proc. of 6th International workshop on Reachability Problems (RP'12)","date-added":"2012-07-03 16:01:36 +0200","date-modified":"2013-07-24 15:21:13 +0200","fpage":"79","lpage":"91","month":"Settembre","numpages":"7","pages":"79–91","publisher":"Springer","series":"LNCS","title":"Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis","volume":"7550","year":"2012","bibtex":"@inproceedings{rp2012,\n\tAuthor = {L. Benvenuti and D. Bresolin and P. Collins and A. Ferrari and L. Geretti and T. Villa},\n\tBooktitle = {Proc. of 6th International workshop on Reachability Problems (RP'12)},\n\tDate-Added = {2012-07-03 16:01:36 +0200},\n\tDate-Modified = {2013-07-24 15:21:13 +0200},\n\tFpage = 79,\n\tLpage = 91,\n\tMonth = {Settembre},\n\tNumpages = 7,\n\tPages = {79--91},\n\tPublisher = {Springer},\n\tSeries = {LNCS},\n\tTitle = {Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis},\n\tVolume = {7550},\n\tYear = {2012}}\n\n","author_short":["Benvenuti, L.","Bresolin, D.","Collins, P.","Ferrari, A.","Geretti, L.","Villa, T."],"key":"rp2012","id":"rp2012","bibbaseid":"benvenuti-bresolin-collins-ferrari-geretti-villa-ariadnedominancecheckingofnonlinearhybridautomatausingreachabilityanalysis-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.math.unipd.it/~bresolin/papers/biblio-it.bib","dataSources":["S2GkQK7zrj9q2HwGy"],"keywords":[],"search_terms":["ariadne","dominance","checking","nonlinear","hybrid","automata","using","reachability","analysis","benvenuti","bresolin","collins","ferrari","geretti","villa"],"title":"Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis","year":2012}