16 citations · 18 across the 5 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),…