Safety property comparison between Gr{\&}amp$\mathsemicolon${\#}x00F6$\mathsemicolon$bner bases and BDD-based model checking method

Publication
2014 13th International Conference on Control Automation Robotics & Vision (ICARCV),December