Pinned Repositories
MADP
The Multiagent Decision Process (MADP) Toolbox - planning and learning in multiagent systems.
colcon.readthedocs.org
libcrlext
Fork of libcrl to add more experimental rl algorithms, domain template and multiagent support, etc.
mobileinsight-core
Mobile Network Intelligence Made Easy -- MobileInsight core functionalities
papers
Contributed Papers on Critical Reliability Programming
contracts_lite
Simple library for defining and enforcing contracts. Inspired by http://open-std.org/JTC1/SC22/WG21/docs/papers/2018/p0542r5.html
requirements-playground
A space for experimenting with GitHub and GitLab requirements management functions
software_watchdogs
A library of (software) watchdogs based on DDS Quality of Service (QoS) policies and ROS 2 lifecycle nodes.
papers
Contributed Papers on Critical Reliability Programming
robbel's Repositories
robbel/colcon.readthedocs.org
robbel/libcrlext
Fork of libcrl to add more experimental rl algorithms, domain template and multiagent support, etc.
robbel/mobileinsight-core
Mobile Network Intelligence Made Easy -- MobileInsight core functionalities
robbel/papers
Contributed Papers on Critical Reliability Programming