leslieaj Goto Github PK

bibtex-js

BibTeX-js can parse a BibTeX-file and render it as part of an HTML file. This way, you can easily add a list of publications to your private homepage or display a list of recommended publications for a seminar. The way the entries are display can be customized using a simple template system and CSS.

december

A tool to model checking dense-time Extended Linear Duration Invariants

dotalearningsmt

Learning deterministic one-clock timed automata using constraint solving

gptest

Some experiments on Gaussian Process and Bayesian Optimizition

infer_dfa

Infer Deterministic Finite Automata

inferdynamic

Infer a dynamic system

leslieaj.github.io

markdown-magic

💫  Automatically format markdown files using comment blocks. Update contents via custom transforms, external data sources & your source code.

mkdocs-plugins

Plugins for MkDocs.

nrtalearning

Learning nondeterministic real-time automata

opacity_for_rta

Decide opacity for Real-time Automaton

otalearning

Learning one-clock timed automata

otalearningnormal

Learning one-clock timed automata from a normal teacher

python-bibtexparser

Bibtex parser for Python 3.3+

rtalearning

Learning real-time automata

rtaopacity

A prototype tool for deciding the language-opacity of real-time automata

vceldi

Bounded Model Checking Continuous-time Extended Linear Duration Invariants