Skip to main content

Formal Methods for Stochastic Models: Algorithms and Applications

Project description

Powerful new algorithms will reduce the impact of chance on predictability

If all of life’s outputs were fully determined by their inputs and the starting conditions, things would be a lot simpler. Fortunately, understanding situations and predicting outcomes when some inherent randomness plays a role has been simplified by stochastic models. As computing power increases together with available data for inputs across numerous disciplines, more powerful, robust and accurate algorithms are in high demand. The EU-funded ForM-SMArt project is tackling this important challenge, developing algorithmic approaches for formal methods to analyse stochastic models that will lead to enhanced utility of automated tools. The outcomes will be a breath of fresh air for fields from basic and applied mathematics and engineering to evolutionary biology and finance.

Host institution

INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
Net EU contribution
€ 1 997 918,00
Address
Am Campus 1
3400 Klosterneuburg
Austria

See on map

Region
Niederösterreich Wiener Umland/Nordteil
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00

Beneficiaries (1)

INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
Austria
Net EU contribution
€ 1 997 918,00
Address
Am Campus 1
3400 Klosterneuburg

See on map

Region
Niederösterreich Wiener Umland/Nordteil
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00