Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems.

Angelo E. M. Ciarlini, Thom W. Frhwirth

Browse the full ICLP paper archive.