issues
search
gomahajan
/
formal-uav
UAV control with formal guarantees
BSD 3-Clause "New" or "Revised" License
7
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use Z3 for parameter step in an iterative fashion
#11
gomahajan
opened
6 years ago
0
Automatic generation of counter-example step and parameter step
#10
gomahajan
opened
6 years ago
0
Create parameter balls
#9
gomahajan
opened
6 years ago
0
Fix time variables in equations
#8
gomahajan
closed
6 years ago
4
endSmt
#7
gomahajan
closed
6 years ago
0
declare xi
#6
gomahajan
closed
6 years ago
0
Do not need x bounds
#5
gomahajan
closed
6 years ago
0
Declare s1_loc sensor locations
#4
gomahajan
closed
6 years ago
1
Declare constants
#3
gomahajan
closed
6 years ago
1
Allow goal to be generated based on number of sensors
#2
gomahajan
opened
6 years ago
0
Allow domains to have -INF and +INF
#1
gomahajan
opened
6 years ago
1