Pinned Repositories
bachelorthesis
boulder-scraping
Some web scraping
buk-tools
Collection of basic programming models for teaching purposes
fdm
fdm source code
FOADA
First Order Alternating Data Automata
knausj_talon
Config for talon for Mac, Windows and Linux. Very much in progress.
masterthesis
Masterthesis, Synthesis in Probabilistic Environments
MONA
MONA - a decision procedure for monadic second-order logic on finite strings and trees
submarine
Approach on building a low cost autonomous submarine
weltoph's Repositories
weltoph/buk-tools
Collection of basic programming models for teaching purposes
weltoph/bachelorthesis
weltoph/boulder-scraping
Some web scraping
weltoph/submarine
Approach on building a low cost autonomous submarine
weltoph/fdm
fdm source code
weltoph/FOADA
First Order Alternating Data Automata
weltoph/knausj_talon
Config for talon for Mac, Windows and Linux. Very much in progress.
weltoph/masterthesis
Masterthesis, Synthesis in Probabilistic Environments
weltoph/MONA
MONA - a decision procedure for monadic second-order logic on finite strings and trees
weltoph/petrinizer
Safety and Liveness Analysis of Petri Nets with SMT solvers
weltoph/peking
Birthday present
weltoph/sem-alg-gametheory
seminar algorithmic gametheory, WS1617
weltoph/sem-pebbles
A seminar paper about graph exploration in log log n space with use of pebbles
weltoph/sem-permission-accounting
Seminar paper about Permission Accounting in Separation Logic
weltoph/syscall
weltoph/tikz-graphicx-issue
Illustrating a weird problem with TikZ and \includegraphics
weltoph/to-mona
weltoph/tushan
weltoph/web-logic
Small applets to illustrate aspects of formal logic