Stars
The main development version of the PRISM model checker.
This list of writing prompts covers a range of topics and tasks, including brainstorming research ideas, improving language and style, conducting literature reviews, and developing research plans.
ROS2 driver for the Gen3 Kinova robot arm
The Fast Downward domain-independent classical planning system
Temporal Fast Downward
Packages related to gathering, viewing, and analyzing diagnostics data from robots.
This is a webbased GUI to select subbranches of in the behaviourtree application of Fraunhofer IPA. https://gitlab.cc-asp.fraunhofer.de/ipa326/demonstrator/bt_based_application_framework
The latest incremental release of SysML v2. Start here.
A curated list of awesome tools and libraries for deliberation in ROS 2.
Generate AAS models from PDF raw text with LLM. (still under construction)
Maintains a bond (i.e. heart beat ) between ROS nodes and provides feedback when the bond is broken
Here is the code for the implementation of the user stories for my master thesis.
Convert a PDDL domain into an OpenAI Gym environment.
A reference system that simulates real-world systems in order to more fairly compare various configurations of executors and other settings
A curated list of reinforcement learning with human feedback resources (continually updated)
This application demostrates the capabilities of eProsima Fast RTPS. Looking for commercial support? Contact info@eprosima.com
Minimal packages to demonstrate usage of ros1_bridge with custom message types
Minimal ROS 2 real-time cookbook recipes
Hierarchical Active Learning :: active learning for Bayesian network type structural reliability models
CARET (Chain-Aware ROS Evaluation Tool) is one of performance analysis tools dedicated with ROS 2 applications
Tips for Writing a Research Paper using LaTeX