Pinned Repositories
robonomics-grant-program
Provisions for participation in the grant program
robonomics-grant-results
Repository for the results obtained during the Robonomics Grant Program
AOM-Goal-Model-Verification
A DTD-XML Technique for verifying Correctness of Agent Oriented Goal Model Diagrams
luxverif
robonomics-grant-program
Provisions for participation in the grant program
robonomics-grant-results
Repository for the results obtained during the Robonomics Grant Program
cjobuzor's Repositories
cjobuzor/AOM-Goal-Model-Verification
A DTD-XML Technique for verifying Correctness of Agent Oriented Goal Model Diagrams
cjobuzor/luxverif
cjobuzor/robonomics-grant-program
Provisions for participation in the grant program
cjobuzor/robonomics-grant-results
Repository for the results obtained during the Robonomics Grant Program