Home ›
Entities
› academia
› Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
Research article (Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018) · cited 11× · AI/ML
Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). Verifying the long-run behavior of probabilistic system models in the presence of uncertainty. Retrieved May 24, 2026, from https://4ort.xyz/entity/verifying-the-long-run-behavior-of-probabilistic-system-models-in-the-presence-of-uncertainty
MLA“Verifying the long-run behavior of probabilistic system models in the presence of uncertainty.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/verifying-the-long-run-behavior-of-probabilistic-system-models-in-the-presence-of-uncertainty.
BibTeX@misc{4ortxyz_verifying-the-long-run-behavior-of-probabilistic-system-models-in-the-presence-of-uncertainty_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Verifying the long-run behavior of probabilistic system models in the presence of uncertainty}}, year = {2026}, url = {https://4ort.xyz/entity/verifying-the-long-run-behavior-of-probabilistic-system-models-in-the-presence-of-uncertainty}, note = {Accessed: 2026-05-24}}
LLM promptAccording to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Verifying the long-run behavior of probabilistic system models in the presence of uncertainty — https://4ort.xyz/entity/verifying-the-long-run-behavior-of-probabilistic-system-models-in-the-presence-of-uncertainty (retrieved 2026-05-24)
