Pinned Repositories
dfa
A simple python implementation of a DFA.
dfa-identify
Python library for identifying/learning DFAs from labeled examples by reduction to SAT.
DISS
Demonstration Informed Specification Search
gridworld-visualizer
Small library for visualizing gridworlds by generating svgs styled and animated by css.
lstar
Python implementation of lstar automata learning algorithm.
py-aiger
py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
py-aiger-cnf
Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.
py-aiger-sat
Pythonic interface between AIGs and SAT solvers.
py-mdd
Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.
py-metric-temporal-logic
Python library for working with Metric Temporal Logic (MTL)
mvcisback's Repositories
mvcisback/py-metric-temporal-logic
Python library for working with Metric Temporal Logic (MTL)
mvcisback/py-aiger
py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
mvcisback/dfa
A simple python implementation of a DFA.
mvcisback/lstar
Python implementation of lstar automata learning algorithm.
mvcisback/dfa-identify
Python library for identifying/learning DFAs from labeled examples by reduction to SAT.
mvcisback/py-aiger-cnf
Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.
mvcisback/py-aiger-sat
Pythonic interface between AIGs and SAT solvers.
mvcisback/DiscreteSignals
A domain specific language for modeling and manipulating discrete time signals.
mvcisback/py-aiger-past-ltl
past-ltl -> aiger circuit library.
mvcisback/py-aiger-bdd
Aiger <-> BDD bridge.
mvcisback/py-aiger-bv
pyAiger-BV: Extension of pyAiger for manipulating sequential bitvector circuits.
mvcisback/py-aiger-dfa
Python library for converting between AIG circuits and DFAs.
mvcisback/py-signal-temporal-logic
Wrapper on metric-temporal-logic to implement signal temporal logic.
mvcisback/past-mtl-monitors
A library for creating past metric temporal logic monitors.
mvcisback/py-aiger-coins
Library for creating circuits that encode discrete distributions. The name comes from the random bit model of drawing from discrete distributions using coin flips.
mvcisback/py-aiger-gridworld
mvcisback/pyLazyTree
Python library for manipulating infinite trees.
mvcisback/DISS
Demonstration Informed Specification Search
mvcisback/memreps
mvcisback/2024-usc-fall-workshop
mvcisback/bdd2dfa
Python library for converting binary decision diagrams to automata.
mvcisback/configs
mvcisback/dfa-embeddings
mvcisback/dfa-mutate
Library for generating mutations for DFAs
mvcisback/dfa-sampler
Library for implementing dfa sampling strategies (pull requests welcome)
mvcisback/dict_lookup_mpnn_problem
mvcisback/gatv2_eqx
Equinox implementation of Graph Attention Networks v2 (GATv2)
mvcisback/mvcisback.github.com
mvcisback/py-aiger-discrete
Library for modeling functions over finite sets using aiger circuits.
mvcisback/py-stl