cazevedo's Stars
AtsushiSakai/PythonRobotics
Python sample codes for robotics algorithms.
rShetty/awesome-podcasts
Collection of awesome podcasts
aimacode/aima-python
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
sawcordwell/pymdptoolbox
Markov Decision Process (MDP) Toolbox for Python
KCL-Planning/ROSPlan
The ROSPlan framework provides a generic method for task planning in a ROS system.
sarahtattersall/PIPE
PIPE - Platform Independent Petri Net Editor
moves-rwth/stormpy
Python Bindings for the Probabilistic Model Checker Storm
larsys/markov_decision_making
Markov Decision Making
oris-tool/sirio
The Sirio library for the analysis of stochastic time Petri nets
jbohren/rqt_dot
Simple rqt-based ROS GUI for visualizing graphviz dotcode published over a ROS std_msgs/String topic.
miccol/awesome-robotics
A list of awesome Robotics resources
arcra/PNLab
Petri Nets editor for designing robotics plans using the framework developed by Pedro Lima. and Hugo Costelha at IST in Lisbon, Portugal.