Pinned Repositories
JaCaMo-Simbad
The JaCaMo-Simbad work presents the implementation and simulation of an agent responsible for maneuvers in a simulated environment.
laca-is.github.io
Intelligent Systems division of LaCA lab.
MAPS
Multi-Agent Parking System
SAE
The Simulated Automative Environment (SAE) comprises both, implementation and formal verification of intelligent agents using the MCAPL framework.
SAE-RoR
Simulated Automotive Environment for the Rules Of the Road - (SAE-RoR)
uppaal
Este repositório apresenta a utilização de Model Checking na Verificação Formal de Sistemas Autônomos
gleifer's Repositories
gleifer/JaCaMo-Simbad
The JaCaMo-Simbad work presents the implementation and simulation of an agent responsible for maneuvers in a simulated environment.