PRECISE Lab at UPenn
Our researchers are collaborating to develop next-generation medical systems, automotive systems, and consumer electronics.
Philadelphia, PA
Pinned Repositories
credal-bayesian-deep-learning
DatadumpTool
A Python-based command-line utility for deploying, querying, and generating statistics from MongoDB datadumps.
HACMSDemo
A cross-platform graphical Python application used to display ROS telemetry
ROSLab
ROSLab is a high-level programming environment based on ROS that allows a simplified and intuitive programming of robots using design blocks and links.
SMEDL
SMEDL is a runtime verification framework to specify monitors, to generate code from specifications, and to deploy the monitors in a centralized or distributed settings.
smedl-fiat-code
Formalization of SMEDL
TrustForge
PRECISE Lab at UPenn's Repositories
PRECISE/HACMSDemo
A cross-platform graphical Python application used to display ROS telemetry
PRECISE/ROSLab
ROSLab is a high-level programming environment based on ROS that allows a simplified and intuitive programming of robots using design blocks and links.
PRECISE/credal-bayesian-deep-learning
PRECISE/DatadumpTool
A Python-based command-line utility for deploying, querying, and generating statistics from MongoDB datadumps.
PRECISE/SMEDL
SMEDL is a runtime verification framework to specify monitors, to generate code from specifications, and to deploy the monitors in a centralized or distributed settings.
PRECISE/smedl-fiat-code
Formalization of SMEDL
PRECISE/TrustForge