4 projects
promis
A Python package to apply probabilistic logic programming to navigation tasks.
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.
