Skip to content
View PaulGainer's full-sized avatar
1 follower · 0 following

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report PaulGainer

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. CRutoN CRutoN Public

    Control Rule to NuSMV translation tool: Automatically generates formal models for the NuSMV model checker, given a set of control rules for a personal robotic assistant.

    C++ 1

  2. PMC PMC Public

    Incremental Verification of Parametric and Reconfigurable Markov Chains -- Prototype implementation for analysis of VPMC reconfigurations.

    Python 1

  3. ev3py ev3py Public

    A python graphical interface for interaction with LEGO Mindstorms EV3 robots.

    Python 1

  4. mc-bio-synch mc-bio-synch Public

    Analysis of Biological Inspired Protocols using Probabilistic Model Checkers

    Python

  5. CLProverPlusPlus CLProverPlusPlus Public

    CLProver++ is am ordered resolution based theorem prover for Coalition Logic. It accepts as input a set of DNCF_CL^MV clauses and outputs their satisfiability.

    C++

  6. PhDThesis PhDThesis Public

    Models and scripts for PhD thesis - Formal Analysis of Artificial Collectives using Parametric Markov Models