Smart Autonomy Lab (SAL)
- 4 followers
- United States of America
- https://faculty.eng.ufl.edu/smart-autonomy-lab/
- intelligent.autonomy@gmail.com
Popular repositories Loading
-
nathan_follow_path_pckg
nathan_follow_path_pckg PublicCode to run turtlebot on general paths in simulations and on real hardware
Jupyter Notebook 1
-
Unique-Solution-of-the-Bellman-Equation-for-LTL
Unique-Solution-of-the-Bellman-Equation-for-LTL Publiccodes for the work "A Necessary and Sufficient Condition for the Unique Solution of the Bellman Equation for LTL Surrogate Rewards"
-
Traffic_light_sim_SLSC
Traffic_light_sim_SLSC PublicTraffic light simulation code.
Jupyter Notebook
-
Repositories
- SMC-for-Conformance Public
SmartAutonomyLab/SMC-for-Conformance’s past year of commit activity - SMC-for-HyperPCTL Public
SmartAutonomyLab/SMC-for-HyperPCTL’s past year of commit activity - HyperSMC Public
SmartAutonomyLab/HyperSMC’s past year of commit activity - CS4iLTL Public
SmartAutonomyLab/CS4iLTL’s past year of commit activity - Unique-Solution-of-the-Bellman-Equation-for-LTL Public
codes for the work "A Necessary and Sufficient Condition for the Unique Solution of the Bellman Equation for LTL Surrogate Rewards"
SmartAutonomyLab/Unique-Solution-of-the-Bellman-Equation-for-LTL’s past year of commit activity - nathan_follow_path_pckg Public
Code to run turtlebot on general paths in simulations and on real hardware
SmartAutonomyLab/nathan_follow_path_pckg’s past year of commit activity - SMC-EDP Public
This repository is for the ACC 2023 conference paper titled "Statistical Verification of Traffic Systems with Expected Differential Privacy
SmartAutonomyLab/SMC-EDP’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…