학술논문
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis
Document Type
Article
Author
Source
In: Software and Systems Modeling . (Software and Systems Modeling, April 2024, 23(2):427-453)
Subject
Language
English
ISSN
16191374
16191366
16191366