[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications
Condurache, RodicaYear:
2018
Language:
english
DOI:
10.1109/synasc.2018.00031
File:
PDF, 277 KB
english, 2018