Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors

2020 
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    12
    References
    5
    Citations
    NaN
    KQI
    []