- Notifications
You must be signed in to change notification settings - Fork1
UAV control with formal guarantees
License
NotificationsYou must be signed in to change notification settings
gomahajan/formal-uav
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Program synthesis for hybrid systems.
To build: stack build
To run:stack exec -- uav [args]
To run with the included example SMT templates:stack exec -- uav smt/uav_dreal
Currently supportsdReal versions 3 and 4. Configure the solver inconfig/solver.cfg.
TODO:command line flag for 1-to-1 UAVs to sensors?
How to specify position while charging/collecting?