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.

A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems

Youngmin Kwon, Eunhee Kim, Gul Agha. A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. In Nils Jansen 0001, Mirco Tribastone, editors, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Volume 14287 of Lecture Notes in Computer Science, pages 65-81, Springer, 2023. [doi]

Authors

Youngmin Kwon

This author has not been identified. Look up 'Youngmin Kwon' in Google

Eunhee Kim

This author has not been identified. Look up 'Eunhee Kim' in Google

Gul Agha

This author has not been identified. Look up 'Gul Agha' in Google
runs on