Symbolic Model Checking for One-Resource RB+-ATLOpen Website

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

2015 (modified: 16 Jul 2019)IJCAI 2015Readers: Everyone
0 Replies