5 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Wen-ling Huang, Jan Peleska
Symbolic finite state machines (SFSMs) describe input/output behaviour using guards and output assignments with possibly infinite data domains. We study deterministic and completel…