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

December 2014

Type

Publication

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

	9 Engineering Drive 1, #07-26, EA, Singapore 117575
	+65 6516 6666
	Contact Us