Mutsumi Nakamura Chitta Baral Marcus Bjäreland Maintainability: A Weaker Stabilizability Like Notion for High Level Control. 62-67 2000 conf/aaai/2000 AAAI/IAAI db/conf/aaai/aaai2000.html#NakamuraBB00