Using Analytic CLP to Model and Analyze Hybrid Systems

Timothy J. Hickey, David K. Wittenberg. Using Analytic CLP to Model and Analyze Hybrid Systems. In Valerie Barr, Zdravko Markov, editors, Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, Miami Beach, Florida, USA. pages 269-274, AAAI Press, 2004.

Abstract

Abstract is missing.