-
Updated
Mar 4, 2025 - Python
#
lstar
Here are 3 public repositories matching this topic...
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
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.
Add this topic to your repo
To associate your repository with the lstar topic, visit your repo's landing page and select "manage topics."