gricel-lee Goto Github PK

alloyguideexamples

Examples and solutions to problems encountered when using Alloy and Alloy Analyzer - https://alloytools.org/

evochecker

EvoChecker

evochecker-installation

Virtual Machine (Ubuntu 64bits) with Evochecker configured and loaded with SafeSCAD.

evopoli-installation

Here it is described the process to install EvoPoli, a tool that supports synthesis of Pareto-optimal policies for MDPs with arbitrary combinations of constraints and optimisation objectives. https://eprints.whiterose.ac.uk/178508/1/MDPPolicySynthesis_ASE2021.pdf

fuzz-typechecker-for-z---ubuntu

Installation of Fuzz typechecker for Z in Ubuntu 20.04

ipe

Some info about IPE drawing tool

javabasics

kanoa

Kanoa

kanoav2

Kanoa V2

logicspecificationsreview

mac-m1-ubuntu-vm-ros2

*Trying* to run ROS2 in Mac M1!

mrs-multischeduling

Multi robot scheduling (MRS) repository.

mrs-thesismaterial

MRS thesis material.

multi-robot-alloy-file-generation

multi-robot-task-allocation

Multi-Robot-Task-Allocation

multirobotsystem-allocationoftasks

Optimizing the allocation of tasks to robots in Alloy considering: 1) area covered by the robot to complete the allocated tasks; and 2) managing working time "fairly"

pareto

Pareto front of solutions

prism-manual

PRISM Model Checker Manual - an extension to Prism manual https://www.prismmodelchecker.org/manual/

prism-model-checking-cheatsheet

ptxmemorymodel

python_gantt-multirobot_schedule

Create a gantt

quartet-mrs-dsl

Quartet Tool for the specification of Multi-robot missions + translation into PRISM language

robomax

Robotic Mission Adaptation eXemplars

runprism

Simple code to run policies from code into PRISM, instead of typing into the command line.

scheduling-multi-robot-missions-with-jointtasks

We present a work-in-progress approach to scheduling multi-robot missions comprising tasks that need to be performed by multiple robots.

useful-managment-resources

Random pages that I am sure will be useful!

viking-compute-linux-cluster

Notes on how to use Viking, the compute Linux cluster use by the University of York.

xtext-maven

Error when integrating an standalone of my Xtext project into Maven.