Bimodal Logics for Reasoning About Continuous Dynamics.

Jennifer M. Davoren, Rajeev Gor

Browse the full AiML paper archive.