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.

Towards Reactive Planning with Digital Twins and Model-Driven Optimization

Martin Eisenberg, Daniel Lehner, Radek Sindelár, Manuel Wimmer. Towards Reactive Planning with Digital Twins and Model-Driven Optimization. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV. Volume 13704 of Lecture Notes in Computer Science, pages 54-70, Springer, 2022. [doi]

Authors

Martin Eisenberg

This author has not been identified. Look up 'Martin Eisenberg' in Google

Daniel Lehner

This author has not been identified. Look up 'Daniel Lehner' in Google

Radek Sindelár

This author has not been identified. Look up 'Radek Sindelár' in Google

Manuel Wimmer

This author has not been identified. It may be one of the following persons: Look up 'Manuel Wimmer' in Google
runs on