Quantitative Aspects of Behaviour Network Verification.

Christopher Armbrust, Thorsten Ropertz, Lisa Kiekbusch, Karsten Berns

Browse the full AI paper archive.