Switch to: References

Add citations

You must login to add citations.
  1. Proving properties of continuous systems: qualitative simulation and temporal logic.Benjamin Shults & Benjamin J. Kuipers - 1997 - Artificial Intelligence 92 (1-2):91-129.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark