Specification Verification and Controller Synthesis Using (γ, δ)-Similarity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Armin Pirastehzad, Arjan van der Schaft, Bart Besselink. Specification Verification and Controller Synthesis Using (γ, δ)-Similarity. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 1692-1697, IEEE, 2023. [doi]

This author has not been identified. Look up 'Armin Pirastehzad' in GoogleThis author has not been identified. Look up 'Arjan van der Schaft' in GoogleThis author has not been identified. Look up 'Bart Besselink' in Google

runs on WebDSL