GR(1)*: GR(1) specifications extended with existential guarantees

Amram, G; Maoz, S; Pistiner, O

Maoz, S (corresponding author), Tel Aviv Univ, Tel Aviv, Israel.

FORMAL ASPECTS OF COMPUTING, 2021; 33 (4-5): 729

Abstract

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. GR(1) is an ex......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索