mengwei-xu Goto Github PK

bdi_agent_prob_friendly

bdiexplanation

bdipython

Development of a Python Library to support BDI-style Programming

bigraph-bdi-encoding

This is the collection of bigraph encoding of BDI agents in various setting

can-verify

This project is improved based on Mengwei's Can-verify tool.It is a verification tool designed for BDI agents using the Conceptual Agent Notation (Can) language. It's aimed at simplifying the development, verification, and analysis of BDI agents without requiring users to have a deep understanding of verification techniques.

can-verify-scp-tool

epistemic_bdi_bigraph

health_app

This is the git repository for gwendolen implemention of health app for privacy in data collection stage

jason-automated-planning

jason_ros

Jason and ROS integration

jpf-core

JPF Installation for Java 12 Stable Branch from JPF original github

jpf-wiki-sync

Repository that gets synchronized with the wiki on jpf-core

manufacturing-evaluation

mcapl

The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.

mcapl-automated-planning

privacy_agents_mcapl

This is the artifact of AAMAS24 submission

radiation_demo_ros

this is basically a copy of a bunch of git repos and then some of my own code, I didn't want to put submodules and so I just did this.

rodin_event_b