Deductive control synthesis for alternating-time logics

Dimitrova, Rayna and Majumdar, Rupak
(2014) Deductive control synthesis for alternating-time logics.
In: Proc. of the International Conference on Embedded Software (EMSOFT 2014).
Conference: EMSOFT - ACM Conference on Embedded Software

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item