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.

SMT-Based CPS Parameter Synthesis

Heinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem. SMT-Based CPS Parameter Synthesis. In Goran Frehse, Matthias Althoff, editors, ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria. Volume 43 of EPiC Series in Computing, pages 126-133, EasyChair, 2016. [doi]

Authors

Heinz Riener

This author has not been identified. Look up 'Heinz Riener' in Google

Robert Könighofer

This author has not been identified. Look up 'Robert Könighofer' in Google

Görschwin Fey

This author has not been identified. Look up 'Görschwin Fey' in Google

Roderick Bloem

This author has not been identified. Look up 'Roderick Bloem' in Google
runs on