Pinned Repositories
CAELUS_DigitalTwin
CAELUS_PowerModels
CAELUS_ProbeSystem
The probe system for the CAELUS architecture
CAELUS_ThermalModel
A python port of the thermal model developed for the CAELUS project by Gianluca Filippi.
craft-bots
CraftBots is a lightweight multi-agent team simulator to evaluate/benchmark integrated planning and execution.
egobots-and-sidekicks
PDDL files for problems that test goal reasoning about commitments
otpl
The Open Task Planning Library
PX4-Autopilot
PX4 Autopilot Software
simple_satellite
TPAA_epsrc
Tackling Programming Anxiety with AI: Generation of Tailored Programming Exercises
strathclyde-artificial-intelligence's Repositories
strathclyde-artificial-intelligence/craft-bots
CraftBots is a lightweight multi-agent team simulator to evaluate/benchmark integrated planning and execution.
strathclyde-artificial-intelligence/CAELUS_DigitalTwin
strathclyde-artificial-intelligence/CAELUS_ThermalModel
A python port of the thermal model developed for the CAELUS project by Gianluca Filippi.
strathclyde-artificial-intelligence/CAELUS_PowerModels
strathclyde-artificial-intelligence/CAELUS_ProbeSystem
The probe system for the CAELUS architecture
strathclyde-artificial-intelligence/egobots-and-sidekicks
PDDL files for problems that test goal reasoning about commitments
strathclyde-artificial-intelligence/otpl
The Open Task Planning Library
strathclyde-artificial-intelligence/PX4-Autopilot
PX4 Autopilot Software
strathclyde-artificial-intelligence/simple_satellite
strathclyde-artificial-intelligence/TPAA_epsrc
Tackling Programming Anxiety with AI: Generation of Tailored Programming Exercises
strathclyde-artificial-intelligence/CAELUS_Orchestrator
The API that deals with spawning and managing digital twin instances.
strathclyde-artificial-intelligence/explain
Strathclyde Centre for Doctoral Training in Explainable AI for Industrial Decision Support
strathclyde-artificial-intelligence/jMAVSim
Simple multirotor simulator with MAVLink protocol support
strathclyde-artificial-intelligence/pstnlib
A library of tools for handling probabilistic simple temporal networks.