Unraveling tensor structures in correct-by-design controller synthesis

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Wang, Ruohan, Sun, Zhiyong, Haesaert, Sofie
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!