leonardopicchiami/nusmv_grid_game_controller_synthesis leonardopicchiami/nusmv_grid_game_controller_synthesis

  • Stars
    star
    4
  • Rank 3,291,545 (Top 66 %)
  • Language
    Python
  • License
    GNU General Publi...
  • Created over 4 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leonardopicchiami/nusmv_grid_game_controller_synthesis
github

leonardopicchiami

Reviews

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

Repository Details

Formal Methods in Software Development Project 2019/2020 - Generation of a controller for a game grid with obstacle and goal cell. The controller is generated by interrogating NuSMV as a blackbox and using the output appropriately.

More Repositories

1

molecular_synthesis_and_reconstruction

Deep Learning And Applied Artificial Intelligence Project 2019/2020 - Molecular Synthesis & Reconstruction
Jupyter Notebook
12
star
2

mining_evolving_topics

Web And Social Information Extraction Project 2018/2019 - Trace and Identification of topics
Python
2
star
3

kaggle_house_price_prediction

Advanced Regression on the Kaggle competition
Python
1
star