Author:
Bouyer Patricia,Markey Nicolas,Matteplackel Raj Mohan
Publisher
Springer Berlin Heidelberg
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Controller synthesis for linear temporal logic and steady-state specifications;Autonomous Agents and Multi-Agent Systems;2024-05-03
2. Describing Weighted Safety with Weighted LTL over Product omega-valuation Monoids;Scientific Annals of Computer Science;2023-12-20
3. Temporal Logic Resilience for Cyber-Physical Systems;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13
4. Weighted Linear Dynamic Logic;International Journal of Foundations of Computer Science;2023-11-16
5. Reasoning about Quality and Fuzziness of Strategic Behaviors;ACM Transactions on Computational Logic;2023-04-07