gleifer

Computer Science professor at UTFPR - Parana, Brazil.

UTFPR-PG

Pinned Repositories

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

gleifer/JaCaMo-Simbad
The JaCaMo-Simbad work presents the implementation and simulation of an agent responsible for maneuvers in a simulated environment.
00