1
TITLE: Ensuring agent properties under arbitrary sequences of incoming events
AUTHORS: Costantini, S; Dell'Acqua, P; Pereira, LM ; Tocchio, A;
PUBLISHED: 2010, SOURCE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in CEUR Workshop Proceedings, VOLUME: 616
INDEXED IN: Scopus