A fuzzy approach to qualification in design exploration for autonomous robots and systems - Morse, Jeremy; Araiza-Illan, Dejanira; Eder, Kerstin; Lawry, Jonathan; Richards, Arthur (IEEE International Fuzzy Systems conference proceedings, 2017)
Keywords: Collision avoidance; Electronic mail; Fuzzy logic; Fuzzy sets; Model checking; Probabilistic logic; Robots