Abstraction refinement for attractivity controllers using quantitative synthesis

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: W. A. Apaza-Perez; Antoine Girard

Journal title: IEEE Transactions on Automatic Control

Journal number: 68(9)

Journal publisher: Institute of Electrical and Electronics Engineers

Published year: 2023

Published pages: 5745-5751

DOI identifier: 10.1109/tac.2022.3227371

ISSN: 0018-9286