2000 character limit reached
Robust Probabilistic Temporal Logics (2306.05806v3)
Published 9 Jun 2023 in cs.LO and cs.FL
Abstract: We robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of their model-checking problems.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.