
SMART_
 Referenced in 33 articles
[sw04097]
 logical behavior, both explicit and symbolic statespace generation techniques, as well as symbolic...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 also be used to visualize traces generated by the modelchecker. Since version ... symbolic statespace. Since version 3.2 it can also check liveness properties. Generation of diagnostic...

CoSyma
 Referenced in 10 articles
[sw20124]
 statespace on which discrete abstractions are computed. The tool generates a controller...

LibBi
 Referenced in 13 articles
[sw19384]
 LibBi is a software package for statespace modelling and Bayesian inference on modern computer ... specific language for model specification, then optimises, generates, compiles and runs code for the given ... work serves as an introduction to statespace models and the specialised methods developed...

PTrie
 Referenced in 3 articles
[sw35790]
 storing (encodings of) states during a statespace exploration. In the quest for fast ... dealing with randomly generated binary strings as well as for statespace exploration...

Supremica
 Referenced in 15 articles
[sw18546]
 main approaches to handle large statespaces. The first approach exploits modularity in order ... decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated ... environment. It is also possible to generate code that implements the behavior of the model...

timedelay
 Referenced in 0 articles
[sw17892]
 statespace representation for irregularly observed time series data generated from a latent continuoustime...

AXIOM
 Referenced in 172 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

ITSM
 Referenced in 16 articles
[sw00461]
 ITSM (Interactive Time Series Modelling) 6.0 is an...

LAPACK
 Referenced in 1649 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Maple
 Referenced in 5199 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6090 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12640 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

NetworkX
 Referenced in 130 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

Octave
 Referenced in 295 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

Plural
 Referenced in 83 articles
[sw00719]
 Singular is a computer algebra system (CAS) developed...

R
 Referenced in 8836 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 741 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SINGULAR
 Referenced in 1441 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...