@article{journals/corr/abs-1905-02458,
  added-at = {2020-01-04T00:00:00.000+0100},
  author = {Bogomolov, Sergiy and Forets, Marcelo and Frehse, Goran and Potomkin, Kostiantyn and Schilling, Christian},
  biburl = {https://www.bibsonomy.org/bibtex/2d0191f9a0992cca50bd4d6267f623493/dblp},
  ee = {http://arxiv.org/abs/1905.02458},
  interhash = {dc6e94c38336cf7124c3ab5f6e675fc2},
  intrahash = {d0191f9a0992cca50bd4d6267f623493},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2020-01-07T11:40:28.000+0100},
  title = {Reachability analysis of linear hybrid systems via block decomposition.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1905.html#abs-1905-02458},
  volume = {abs/1905.02458},
  year = 2019
}

{"_id":"iFhFMcddpKoH4SxES","bibbaseid":"bogomolov-forets-frehse-potomkin-schilling-reachabilityanalysisoflinearhybridsystemsviablockdecomposition-2019","authorIDs":[],"author_short":["Bogomolov, S.","Forets, M.","Frehse, G.","Potomkin, K.","Schilling, C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-01-04T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Bogomolov"],"firstnames":["Sergiy"],"suffixes":[]},{"propositions":[],"lastnames":["Forets"],"firstnames":["Marcelo"],"suffixes":[]},{"propositions":[],"lastnames":["Frehse"],"firstnames":["Goran"],"suffixes":[]},{"propositions":[],"lastnames":["Potomkin"],"firstnames":["Kostiantyn"],"suffixes":[]},{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2d0191f9a0992cca50bd4d6267f623493/dblp","ee":"http://arxiv.org/abs/1905.02458","interhash":"dc6e94c38336cf7124c3ab5f6e675fc2","intrahash":"d0191f9a0992cca50bd4d6267f623493","journal":"CoRR","keywords":"dblp","timestamp":"2020-01-07T11:40:28.000+0100","title":"Reachability analysis of linear hybrid systems via block decomposition.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1905.html#abs-1905-02458","volume":"abs/1905.02458","year":"2019","bibtex":"@article{journals/corr/abs-1905-02458,\n added-at = {2020-01-04T00:00:00.000+0100},\n author = {Bogomolov, Sergiy and Forets, Marcelo and Frehse, Goran and Potomkin, Kostiantyn and Schilling, Christian},\n biburl = {https://www.bibsonomy.org/bibtex/2d0191f9a0992cca50bd4d6267f623493/dblp},\n ee = {http://arxiv.org/abs/1905.02458},\n interhash = {dc6e94c38336cf7124c3ab5f6e675fc2},\n intrahash = {d0191f9a0992cca50bd4d6267f623493},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2020-01-07T11:40:28.000+0100},\n title = {Reachability analysis of linear hybrid systems via block decomposition.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1905.html#abs-1905-02458},\n volume = {abs/1905.02458},\n year = 2019\n}\n\n","author_short":["Bogomolov, S.","Forets, M.","Frehse, G.","Potomkin, K.","Schilling, C."],"key":"journals/corr/abs-1905-02458","id":"journals/corr/abs-1905-02458","bibbaseid":"bogomolov-forets-frehse-potomkin-schilling-reachabilityanalysisoflinearhybridsystemsviablockdecomposition-2019","role":"author","urls":{"Link":"http://arxiv.org/abs/1905.02458","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1905.html#abs-1905-02458"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/schilling?items=1000","creationDate":"2020-07-22T11:14:11.928Z","downloads":0,"keywords":["dblp"],"search_terms":["reachability","analysis","linear","hybrid","systems","via","block","decomposition","bogomolov","forets","frehse","potomkin","schilling"],"title":"Reachability analysis of linear hybrid systems via block decomposition.","year":2019,"dataSources":["wzaMXjDv6gdxH4D3T"]}