#

lstar

Here are 3 public repositories matching this topic...

AALpy

DES-Lab / AALpy

An Automata Learning Library Written in Python

automata markov-chain finite-state-machine kv markov-decision-processes dfa context-free-grammar model-based-testing test-case-generation probabilistic-automata automata-learning pushdown-automata model-learning model-mining lstar equivalence-oracles alergia rpni

Updated Feb 9, 2026
Python

JakubKulesz / star

An environment for constructing smooth transition regression and autoregressive models (LSTR, ESTR, TVSTR, MSTR, LSTAR, ESTAR, TVSTAR, MSTAR).

econometrics star nonlinear-time-series estar lstar smooth-transition-regression smooth-transition-autoregression

Updated Dec 29, 2025
Python

felix-e-h-p / ag-reasoning-l-star

Implementation of the L* (L Star) based Assume Guarantee Reasoning framework - dynamic DFA input as specification

verification formal-verification active-learning automata-learning lstar formal-verification-methods assume-guarantee-reasoning

Updated Jul 26, 2024
Python

Improve this page

Add a description, image, and links to the lstar topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lstar topic, visit your repo's landing page and select "manage topics."