Quantitative Verification of Stochastic Regular Expressions

DOI10.3233/FI-2021-2018OpenAlexW3138564825MaRDI QIDQ5164850

Lars Grunske, Esteban Pavese, Sinem Getir Yaman

Publication date: 15 November 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2021-2018

zbMATH Keywords

probabilistic verificationquantitative verificationformal modelsstochastic algebraaction based logicprobabilistic regular expressionsstochastic regular expressions

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Implication of regular expressions
• A logic for reasoning about time and reliability
• An Event Structure Model for Probabilistic Concurrent Kleene Algebra
• Probabilistic Automata and Probabilistic Logic
• Regular Linear Temporal Logic
• A probabilistic language formalism for stochastic discrete-event systems
• Control of stochastic discrete event systems modeled by probabilistic languages
• The Probabilistic Model Checking Landscape
• A Probabilistic Kleene Theorem
• Stochastic Context-Free Grammars, Regular Languages, and Newton’s Method

This page was built for publication: Quantitative Verification of Stochastic Regular Expressions