11

A distributed method to avoid higher-order deadlocks in multi-robot systems

Year:
2020
Language:
english
File:
PDF, 994 KB
english, 2020
22

Counterexample-Guided Assume-Guarantee Synthesis through Learning

Year:
2011
Language:
english
File:
PDF, 4.61 MB
english, 2011
23

Model Checking Prioritized Timed Systems

Year:
2012
Language:
english
File:
PDF, 1.70 MB
english, 2012