Abstraction-Based Parameter Synthesis for Multiaffine Systems. Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., & Grosu, R. In Haifa Verification Conference, volume 9434, of Lecture Notes in Computer Science, pages 19-35, 2015. Springer.
Abstraction-Based Parameter Synthesis for Multiaffine Systems. [link]Link  Abstraction-Based Parameter Synthesis for Multiaffine Systems. [link]Paper  bibtex   
@inproceedings{conf/hvc/BogomolovSBBKG15,
  added-at = {2020-01-04T00:00:00.000+0100},
  author = {Bogomolov, Sergiy and Schilling, Christian and Bartocci, Ezio and Batt, Grégory and Kong, Hui and Grosu, Radu},
  biburl = {https://www.bibsonomy.org/bibtex/2332ca314e967d20f174c1fb6d919fc1e/dblp},
  booktitle = {Haifa Verification Conference},
  crossref = {conf/hvc/2015},
  editor = {Piterman, Nir},
  ee = {https://www.wikidata.org/entity/Q62037215},
  interhash = {3bb72b7740eea56690e9013c135ad451},
  intrahash = {332ca314e967d20f174c1fb6d919fc1e},
  isbn = {978-3-319-26286-4},
  keywords = {dblp},
  pages = {19-35},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2020-01-07T11:43:46.000+0100},
  title = {Abstraction-Based Parameter Synthesis for Multiaffine Systems.},
  url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#BogomolovSBBKG15},
  volume = 9434,
  year = 2015
}

Downloads: 0