Efficient On-the-Fly Model Checking for LTL and CTL★.

Computational Logic Formula Solver - programmatically simplifies propositional and predicate logic formulas

Resolução do trabalho prático 4 da UC Lógica Computacional. Temos 2 problemas, um problema relacionado com Verificação Formal de Software e outro problema relacionado com Sistemas Híbridos

Here you can find some exercises about introduction to programming in C++ language.

Tugas Besar Logika Komputasional 2021/2022

Simple proof assistant written in OCaml.

🎫 Personal repo untuk arsip praktikum LogKom

Computational Logic - A monopoly board based tycoon game.

Logica computazionale A.A. 2022/23

Slides of my talk at EASS 2023

Codes related to a study of spatiotemporally invariant patterns in systems of coupled relaxation oscillators, and their potential use in computational logic.

The Augusta University ForML Lab Website

University courses, projects and homeworks

Code of my talk at EASS 2023

Permainan Global Conquest adalah sebuah game strategi yang dibuat menggunakan bahasa pemrograman deklaratif Prolog (GNU Prolog).

A project of a computational logic calculator based on college studies.

👩🏻‍💻 Program and simulate computational logic circuits using Python.

🎚️ Binary logic signal research.