Skip to content
@laca-is

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

Popular repositories Loading

  1. MASPY MASPY Public

    A Python Framework for Multi-Agent Programming with Machine Learning

    Python 5

  2. smart-parking-api smart-parking-api Public

    Serveless appsync API with DynamoDB to manage a Smart Parking.

    JavaScript 2 1

  3. laca-is.github.io laca-is.github.io Public

    Intelligent Systems division of LaCA lab.

    1

  4. MAPS MAPS Public

    Multi-Agent Parking System

    Java 1

  5. clag clag Public

    Controlled Natural Language for Agents

    Python 1

  6. SAE SAE Public

    The Simulated Automative Environment (SAE) comprises both, implementation and formal verification of intelligent agents using the MCAPL framework.

    Java 1

Repositories

Showing 10 of 10 repositories
  • laca-is.github.io Public

    Intelligent Systems division of LaCA lab.

    laca-is/laca-is.github.io’s past year of commit activity
    1 0 0 0 Updated Sep 15, 2024
  • clag Public

    Controlled Natural Language for Agents

    laca-is/clag’s past year of commit activity
    Python 1 0 0 0 Updated Sep 12, 2024
  • MASPY Public

    A Python Framework for Multi-Agent Programming with Machine Learning

    laca-is/MASPY’s past year of commit activity
    Python 5 0 0 0 Updated Aug 9, 2024
  • uppaal Public

    Este repositório apresenta a utilização de Model Checking na Verificação Formal de Sistemas Autônomos

    laca-is/uppaal’s past year of commit activity
    q 0 GPL-3.0 0 0 0 Updated Oct 11, 2023
  • Prevh Public

    This package implements the Prevh classification algorithm.

    laca-is/Prevh’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Mar 26, 2022
  • MAPS Public

    Multi-Agent Parking System

    laca-is/MAPS’s past year of commit activity
    Java 1 0 0 3 Updated Jan 27, 2022
  • SAE-RoR Public

    Simulated Automotive Environment for the Rules Of the Road - (SAE-RoR)

    laca-is/SAE-RoR’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Jul 21, 2021
  • smart-parking-api Public

    Serveless appsync API with DynamoDB to manage a Smart Parking.

    laca-is/smart-parking-api’s past year of commit activity
    JavaScript 2 GPL-3.0 1 0 0 Updated Sep 8, 2020
  • SAE-RoadJunction Public
    laca-is/SAE-RoadJunction’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Jun 29, 2020
  • SAE Public

    The Simulated Automative Environment (SAE) comprises both, implementation and formal verification of intelligent agents using the MCAPL framework.

    laca-is/SAE’s past year of commit activity
    Java 0 1 0 0 Updated Aug 13, 2018

Most used topics

Loading…