6 projects
promis
A Python package to apply probabilistic logic programming to navigation tasks.
python-coco
A Python package for constitutional control in constrained navigation tasks.
python-cofi
A Python package for Bayesian estimation of agents that follow a constitution.
pyresin
A reactive, probabilistic logic programming language using Reactive Circuits.
langda
A Python package for semi-formal modeling in neuro-symbolic systems.
ros2-easy-test
A Python test framework for ROS2 allowing simple and expressive assertions based on message interactions.
