Project description DEENESFRITPL 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. Show the project objective Hide the project objective Objective The formal analysis of stochastic models plays an important role in different disciplines of science, e.g. probability theory, evolutionary stochastic processes in biology. In computer science, such models arise in formal verification of probabilistic systems, analysis of probabilistic programs, analysis of game-theoretic interactions with stochastic aspects, reasoning about randomized protocols, etc. At the heart of the analysis methods are algorithmic approaches that lead to automated tools. Despite significant and impressive research achievements over the decades, many fundamental algorithmic problems related to formal analysis of stochastic models remain open. Moreover, the emergence of new technologies and the need to build more complex systems, require faster and scalable algorithmic solutions. The overarching theme of the project is algorithmic approaches for formal methods to analyse stochastic models. Our main research aims are: (1) Finite-state models: Develop faster explicit and implicit algorithms, and establish conditional lower bounds, for finite-state probabilistic systems. (2) Probabilistic programs: Develop efficient algorithmic approaches and practical techniques (e.g. compositional and abstraction techniques) for the analysis of probabilistic programs. (3) Stochastic and evolutionary games: Develop algorithmic approaches related to stochastic games and evolutionary games, which bring together the two different fields of game theory. (4) Application domains: Explore new application areas in diverse domains to demonstrate the effectiveness of the new algorithms developed.The project’s success will significantly enrich formal methods for analysis of stochastic models that are crucial in the development of robust and correct systems. Since stochastic models are foundational in several disciplines, the new algorithmic solutions are expected to lead to automated tools beneficial to other disciplines. Fields of science natural sciencescomputer and information sciencesnatural sciencesmathematicsapplied mathematicsgame theorynatural sciencesmathematicsapplied mathematicsstatistics and probability Programme(s) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Topic(s) ERC-2019-COG - ERC Consolidator Grant Call for proposal ERC-2019-COG See other projects for this call Funding Scheme ERC-COG - Consolidator Grant Coordinator INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA Net EU contribution € 1 997 918,00 Address Am campus 1 3400 Klosterneuburg Austria See on map Region Ostösterreich Niederösterreich Wiener Umland/Nordteil Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Beneficiaries (1) Sort alphabetically Sort by Net EU contribution Expand all Collapse all INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA Austria Net EU contribution € 1 997 918,00 Address Am campus 1 3400 Klosterneuburg See on map Region Ostösterreich Niederösterreich Wiener Umland/Nordteil Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00
