Declare s1_loc sensor locations

gomahajan / formal-uav

UAV control with formal guarantees

BSD 3-Clause "New" or "Revised" License

7 stars 1 forks source link

Closed gomahajan closed 6 years ago

gomahajan commented 6 years ago

(declare-fun s1_loc () Real) (declare-fun s2_loc () Real)

tjknoth commented 6 years ago

Resolved.