Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation

From MaRDI portal

(Redirected from Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Symbolic_supervisory_control_of_infinite_transition_systems_under_partial_observation_using_abstract_interpretation&oldid=61891977"