UoY-RoboStar
Popular repositories Loading
-
-
uvc-case-study
uvc-case-study PublicSource of RoboChart models for robotic UVC light treatment
HTML 1
-
-
tick-tock-CSP
tick-tock-CSP Publictick-tock-CSP model (Isabelle/HOL mechanisation + FDR encoding)
Isabelle 1
Repositories
- AutonomousSegregation Public
UoY-RoboStar/AutonomousSegregation’s past year of commit activity - robotool-ann Public
UoY-RoboStar/robotool-ann’s past year of commit activity - NFM2025 Public
This repository contains the implementation and formal proofs from our [Conference Name] paper, showcasing the detailed work described in the publication. It includes code and verification processes to support reproducibility and further exploration of our results.
UoY-RoboStar/NFM2025’s past year of commit activity - roboarch2chart-epsilon Public
Epsilon programs for model-to-model transformation from RoboArch to RoboChart.
UoY-RoboStar/roboarch2chart-epsilon’s past year of commit activity - roboarch-metamodel Public
This repository contains the eclipse plugins that implement the metamodel of RoboArch
UoY-RoboStar/roboarch-metamodel’s past year of commit activity - robotool-meta-physmod Public Forked from UoY-RoboStar/robotool-meta
Meta repository with all plug-ins
UoY-RoboStar/robotool-meta-physmod’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…