Methods for Knowledge Based Controlling of Distributed Systems.

Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton

Browse the full ATVA paper archive.