Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira, Arianna Tocchio. Ensuring Agent Properties under Arbitrary Sequences of Incoming Events. In Marco Gavanelli, Toni Mancini, editors, Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010. Volume 616 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
Abstract is missing.