LaCa - Intelligent Systems
Intelligent Systems is a division of LaCA research lab at UTFPR, responsible to develop and apply systems mainly based on intelligent agents
UTFPR, Ponta Grossa - Parana - Brasil
Pinned Repositories
laca-is.github.io
Intelligent Systems division of LaCA lab.
MAPS
Multi-Agent Parking System
MASPY
A Python library for Multi-Agent Programming with Machine Learning
Prevh
This package implements the Prevh classification algorithm.
SAE
The Simulated Automative Environment (SAE) comprises both, implementation and formal verification of intelligent agents using the MCAPL framework.
SAE-RoadJunction
SAE-RoR
Simulated Automotive Environment for the Rules Of the Road - (SAE-RoR)
smart-parking-api
Serveless appsync API with DynamoDB to manage a Smart Parking.
uppaal
Este repositório apresenta a utilização de Model Checking na Verificação Formal de Sistemas Autônomos
LaCa - Intelligent Systems's Repositories
laca-is/MASPY
A Python library for Multi-Agent Programming with Machine Learning
laca-is/smart-parking-api
Serveless appsync API with DynamoDB to manage a Smart Parking.
laca-is/laca-is.github.io
Intelligent Systems division of LaCA lab.
laca-is/MAPS
Multi-Agent Parking System
laca-is/Prevh
This package implements the Prevh classification algorithm.
laca-is/SAE
The Simulated Automative Environment (SAE) comprises both, implementation and formal verification of intelligent agents using the MCAPL framework.
laca-is/SAE-RoadJunction
laca-is/SAE-RoR
Simulated Automotive Environment for the Rules Of the Road - (SAE-RoR)
laca-is/uppaal
Este repositório apresenta a utilização de Model Checking na Verificação Formal de Sistemas Autônomos