Environmentally-Friendly GR(1) Synthesis

Majumdar, Rupak; Piterman, Nir; Schmuck, Anne-Kathrin

doi:10.1007/978-3-030-17465-1_13

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Environmentally-Friendly GR(1) Synthesis

MPS-Authors

/persons/resource/persons144534

Majumdar, Rupak
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons188484

Schmuck, Anne-Kathrin
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

Majumdar2019_Chapter_Environmentally-FriendlyGR1Syn.pdf
(Publisher version), 588KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Majumdar, R., Piterman, N., & Schmuck, A.-K. (2019). Environmentally-Friendly GR(1) Synthesis. In T. Vojnar, & L. Zhang (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 229-246). New York, NY: Springer. doi:10.1007/978-3-030-17465-1_13.

Cite as: https://hdl.handle.net/21.11116/0000-0005-D9B5-A

Abstract

There is no abstract available