DMCA

Synthesis from ltl specifications with mean-payoff objectives (2013)

Cached

Download Links

by Aaron Bohy , Emmanuel Filiot
Venue:In TACAS
Citations:8 - 2 self