Controller synthesis for linear temporal logic and steady-state specifications
Author:
Alvaro Velasquez et al
Publication:
Autonomous Agents and Multi-Agent Systems
Publisher:
Springer Nature
Copyright © 2024, The Author(s), under exclusive licence to Springer Science Business Media, LLC, part of Springer Nature