Pinned Repositories
NAPL
A Network Algorithm Programming Language
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
leslieaj.github.io
OTALearning
Learning one-clock timed automata
OTALearningNormal
Learning one-clock timed automata from a normal teacher
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
Leslieaj's Repositories
Leslieaj/OTALearning
Learning one-clock timed automata
Leslieaj/RTALearning
Learning real-time automata
Leslieaj/DOTALearningSMT
Learning deterministic one-clock timed automata using constraint solving
Leslieaj/OTALearningNormal
Learning one-clock timed automata from a normal teacher
Leslieaj/leslieaj.github.io
Leslieaj/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.
Leslieaj/December
A tool to model checking dense-time Extended Linear Duration Invariants
Leslieaj/RTAOpacity
A prototype tool for deciding the language-opacity of real-time automata
Leslieaj/VCELDI
Bounded Model Checking Continuous-time Extended Linear Duration Invariants
Leslieaj/GPTest
Some experiments on Gaussian Process and Bayesian Optimizition
Leslieaj/Infer_DFA
Infer Deterministic Finite Automata
Leslieaj/InferDynamic
Infer a dynamic system
Leslieaj/markdown-magic
💫  Automatically format markdown files using comment blocks. Update contents via custom transforms, external data sources & your source code.
Leslieaj/mkdocs-plugins
Plugins for MkDocs.
Leslieaj/NRTALearning
Learning nondeterministic real-time automata
Leslieaj/Opacity_for_RTA
Decide opacity for Real-time Automaton
Leslieaj/python-bibtexparser
Bibtex parser for Python 3.3+