M. Santhosh Prabhu, Pallab Dasgupta. Model Checking Controllers with Predicate Inputs. In 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, Pune, India, January 5-10, 2013. pages 332-337, IEEE, 2013. [doi]
Abstract is missing.