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.

Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification

Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson. Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. Volume 74 of EPiC Series in Computing, pages 259-266, EasyChair, 2020. [doi]

Authors

Johan Lidén Eddeland

This author has not been identified. Look up 'Johan Lidén Eddeland' in Google

Sajed Miremadi

This author has not been identified. Look up 'Sajed Miremadi' in Google

Knut Åkesson

This author has not been identified. Look up 'Knut Åkesson' in Google
runs on