2024

Robust Liveness Controllers for Time Petri Nets With Unreliable Resources.

[DOI]

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024