16 citations · 19 across the 6 of their papers we have counts for
1 paper · 1 filter
Gabriel de Albuquerque Gleizer, Khushraj Nanik Madnani, Manuel Mazo
This paper studies the reduction (abstraction) of finite-state transition systems for control synthesis problems. We revisit the notion of alternating simulation equivalence (ASE),…