Register automata with linear arithmetic.
Journal
32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017
Pages
1-12
Date Issued
2017
Author(s)
Chen, Yu-Fang
Leng?l, Ondrej
Tan, Tony
Wu, Zhilin
TONY TAN
SDGs
Type
conference paper