lesunb Goto Github PK

ais_bsn

bsn

Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.

bsn_rome_24

Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.

bsn_seams24

Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.

calls

crgmtoprism

In a nutshell, GODA (Goal-Oriented Dependability Analysis) is a framework for verification of goal models through probabilistic model checking, where contextual goal models are translated into PRISM and PARAM languages.

goald

goald-evaluation

Evaluation of Goalp - Datasets and R scripts.

hmrs_mission_control

Heterogeneous Multi-Robots Mission Control is an architecture for the development of applications, capable of coordinating multi-robot missions subject to uncertainty in properties of the available robots in the Software Engineering Lab (LES) at University of Brasilia.

hmrs_mission_control_evaluation

hmrssim

Simulator for research in Heterogeneous Multi-Robots Environment. The intention is to provide extensible, lightweight, portable, low fidelity, visualizable simulations for testing task allocation approaches in a heterogeneous, multi-robot environment. The priority is to provide the researcher with the capability to easily implement new maps by importing 2D draws from draw.io.

implied_scenarios

Relevant files used for the project 'Characterization of Implied Scenarios as Families of Common Behavior'.

jss-2022-replication-package

Replication package of the paper titled "An Architecture for Mission Coordination of Heterogeneous Robots"

knapsack-planning-mpers

lesunb.github.io

morse_simulation

mutrose-artifacts

Collection of artifacts for the MutRoSe framework

mutrose-mission-decomposer

A mission decomposer for the MutRoSe framework. This is built upon the PANDA HDDL parser (https://github.com/panda-planner-dev/pandaPIparser)

mutrose-repository

p2psimpy

pistar-pgom

pistargoda-mdp

pistargodaintegration

rome

rome2024_tutorials

taom4e

thesis

Template for thesis

unb-dali

The UnB Dependability Analysis Library

xmitoprism

UML diagrams as XMI files transformed to DTMC in PRISM language via UnB-DALi.

xpnsa