Home ›
Entities
› academia
› Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking
Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking
Research article (IEEE Transactions on Control Systems Technology, 2018) · cited 11× · AI/ML
Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking
Summary
Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking is a scholarly article[1].
Key Facts
Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking's instance of is recorded as scholarly article[2].
References
Programmatic citations — every numbered marker resolves to a verifiable graph row below.
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). Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking. Retrieved May 24, 2026, from https://4ort.xyz/entity/supervisory-control-of-labeled-transition-systems-subject-to-multiple-reachability-requirements-via-symbolic-model-check
MLA“Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/supervisory-control-of-labeled-transition-systems-subject-to-multiple-reachability-requirements-via-symbolic-model-check.
BibTeX@misc{4ortxyz_supervisory-control-of-labeled-transition-systems-subject-to-multiple-reachability-requirements-via-symbolic-model-check_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking}}, year = {2026}, url = {https://4ort.xyz/entity/supervisory-control-of-labeled-transition-systems-subject-to-multiple-reachability-requirements-via-symbolic-model-check}, note = {Accessed: 2026-05-24}}
LLM promptAccording to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking — https://4ort.xyz/entity/supervisory-control-of-labeled-transition-systems-subject-to-multiple-reachability-requirements-via-symbolic-model-check (retrieved 2026-05-24)
