Reactive synthesis without regret (vol 54, pg 3, 2017)

被引：0
作者：
Hunter, Paul [1 ]
Perez, Guillermo A. [1 ]
Raskin, Jean-Francois [1 ]
机构：
[1] Univ Libre Bruxelles ULB, Dept Informat, Brussels, Belgium
来源：
ACTA INFORMATICA | 2022年 / 59卷 / 05期
关键词：
D O I：
10.1007/s00236-021-00410-0
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：671 / 671
页数：1
相关论文
共 1 条
  • [1] Reactive synthesis without regret
    Hunter, Paul
    Perez, Guillermo A.
    Raskin, Jean-Francois
    [J]. ACTA INFORMATICA, 2017, 54 (01) : 3 - 39
1