• Stars
    star
    1
  • Language
    Python
  • License
    MIT License
  • Created almost 9 years ago
  • Updated almost 7 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Hybrid (BI)PED: Write a declarative game description as a hybrid automaton, get a playable game and an input to a model checker.