Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities.

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis

Browse the full FORTE paper archive.