Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values.

Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera

Browse the full ISAIM paper archive.