danielaisen

Pinned Repositories

AgileProject
Language:Java10
Aiger
A lightweight, swifty (and incomplete) wrapper around the AIGER library
Language:Swift00
CAiger
Language:C00
Calculator
0 0 00
CCUDD
Language:C00
CUDD
Language:Swift00
Hospital
Language:Java00
LTLf2DFA
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
Language:Python0 0 00
SymbSyntDec
Language:Python00
SymDFA2Aiger
Tool for creation of an Aiger file of format aag from a symbolic representation of a deterministic finite automaton.
Language:Python00

danielaisen's Repositories

danielaisen/AgileProject
Language:Java10
danielaisen/Aiger
A lightweight, swifty (and incomplete) wrapper around the AIGER library
Language:Swift00
danielaisen/CAiger
Language:C00
danielaisen/Calculator
0 0 00
danielaisen/CCUDD
Language:C00
danielaisen/CUDD
Language:Swift00
danielaisen/Hospital
Language:Java00
danielaisen/LTLf2DFA
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
Language:Python0 0 00
danielaisen/SymbSyntDec
Language:Python00
danielaisen/SymDFA2Aiger
Tool for creation of an Aiger file of format aag from a symbolic representation of a deterministic finite automaton.
Language:Python00
danielaisen/Minimax-vs-MCTS-Kulibrat
danielaisen/mqtt-xes_Bachelor_project
MQTT-XES a lightweight logging mechanism for real-time logging for process mining purposes
Language:Java
danielaisen/os-challenge
Language:C
danielaisen/pylogics_modalities
A Python library for logic formalisms representation and manipulation.
Language:Python
danielaisen/SafetySynth
A symbolic safety game solver written in Swift
Language:Swift