![](/img/cover-not-exists.png)
A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control
Dhananjayan, Amrith, Seow, Kiam TianVolume:
44
Language:
english
Journal:
IEEE Transactions on Systems, Man, and Cybernetics: Systems
DOI:
10.1109/tsmc.2014.2303051
Date:
September, 2014
File:
PDF, 8.10 MB
english, 2014