FAUST2 Files

Formal Abstractions of Uncountable-STate STochastic processes

Brought to you by: sadegh-soudjani

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
FAUST2.zip	2014-02-09	141.7 kB	0
Totals: 1 Item		141.7 kB	0

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Start Free

Demo Series - Small Business Backup By Veeam

Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.

Watch Demo Series

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

General Hidden Markov Model Library
The General Hidden Markov Model Library (GHMM) is a C library with additional Python bindings implementing a wide range of types of Hidden Markov Models and algorithms: discrete, continous emissions, basic training, HMM clustering, HMM mixtures.
Markov Algorithm Interpreter
Markov interpreter is an interpreter for "Markov algorithm". It parses a file containing markov production rules, applies it on a string and gives the output.
pomegranate
Fast, flexible and easy to use probabilistic modelling in Python
Bridge.jl
A statistical toolbox for diffusion processes
POMDPs
Interface for defining, solving, simulating Markov decision processes