paulosalem/behaviorist_agent_architecture
The Behaviorist Agent Architecture's sources and executables. This is a library used as part of my doctoral thesis.
Adds a timepicker to jQueryUI Datepicker
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
The Behaviorist Agent Architecture's sources and executables. This is a library used as part of my doctoral thesis.
ALgebraic Engine for Verification Of Simulations' sources and executables. Actually, it is a pi-calculus simulation library, used as part of my doctoral thesis.
The wrapper needed to make the Behaviorist Agent Architecture library available to FGS. Used as part of my doctoral thesis.
Formally Guided Simulator's (FGS) sources and executables. This is the overall proof-of-concept software that goes along with my doctoral thesis. If you wish to run the examples given there, this is what you need.