Home › Entities › academia › Permissive Controller Synthesis for Probabilistic Systems

Permissive Controller Synthesis for Probabilistic Systems

Research article (Logical Methods in Computer Science, 2015) · cited 30× · AI/ML
CreativeWork academia

Facts

6 properties
Instance of
scholarly article[2]
Publication date
June 30, 2015as of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
Funded by grant
From Software Verification to Everyware Verificationas of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
Published in
Logical Methods in Computer Scienceas of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
Sponsor
European Commissionas of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
Title
Permissive Controller Synthesis for Probabilistic Systemsas of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
🔖 Identifiers · 2
OpenAlex ID
W2763611255as of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
DOI
10.2168/LMCS-11(2:16)2015as of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded

Report an error or request removal Lineage (PROV-JSON)

📜 Data licence
Source: OpenAlex (openalex.org), snapshot of 2026-09-23. CC0 1.0 Universal. CC0 1.0 Universal · OpenAlex
🔗 Connections
Authored by 4
Marta Zofia Kwiatkowska, David Parker, Mateusz Ujma, Vojtěch Forejt
← Author of 4
Marta Zofia Kwiatkowska, David Parker, Mateusz Ujma, Vojtěch Forejt
Press Enter · cited answer in seconds

Summary

Permissive Controller Synthesis for Probabilistic Systems is a scholarly article[1].

Related Entities

Marta Zofia Kwiatkowska

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

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.

APA 4ort.xyz Knowledge Graph. (2026). Permissive Controller Synthesis for Probabilistic Systems. Retrieved October 17, 2026, from https://4ort.xyz/entity/permissive-controller-synthesis-for-probabilistic-systems
MLA “Permissive Controller Synthesis for Probabilistic Systems.” 4ort.xyz Knowledge Graph, 4ort.xyz, 17 Oct. 2026, https://4ort.xyz/entity/permissive-controller-synthesis-for-probabilistic-systems.
BibTeX @misc{4ortxyz_permissive-controller-synthesis-for-probabilistic-systems_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Permissive Controller Synthesis for Probabilistic Systems}}, year = {2026}, url = {https://4ort.xyz/entity/permissive-controller-synthesis-for-probabilistic-systems}, note = {Accessed: 2026-10-17}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Permissive Controller Synthesis for Probabilistic Systems — https://4ort.xyz/entity/permissive-controller-synthesis-for-probabilistic-systems (retrieved 2026-10-17)

Canonical URL: https://4ort.xyz/entity/permissive-controller-synthesis-for-probabilistic-systems · Last refreshed: