Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions

MaRDI QIDQ7117381arXivFDO

Authors Hyejin Han, Ricardo G. Sanfelice

Publication date 2018

Published in arXiv

arXiv classification

eess.SY

This page was built for publication: Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7117381)