Reasoning in Logic about Continuous Systems.

Benjamin Kuipers, Benjamin Shults

Browse the full KR paper archive.