External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

ParetoLib: A Python Library for Parameter Synthesis

Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo. ParetoLib: A Python Library for Parameter Synthesis. In Étienne André, Mariëlle Stoelinga, editors, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Volume 11750 of Lecture Notes in Computer Science, pages 114-120, Springer, 2019. [doi]

Authors

Alexey Bakhirkin

This author has not been identified. Look up 'Alexey Bakhirkin' in Google

Nicolas Basset

This author has not been identified. Look up 'Nicolas Basset' in Google

Oded Maler

This author has not been identified. Look up 'Oded Maler' in Google

José-Ignacio Requeno Jarabo

This author has not been identified. Look up 'José-Ignacio Requeno Jarabo' in Google
runs on