Old Web
English
Sign In
Acemap
>
Paper
>
Lazy controller synthesis for monotone transition systems and directed safety specifications.
Lazy controller synthesis for monotone transition systems and directed safety specifications.
2022
Elena Ivanova
Adnane Saoud
Antoine Girard
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]