Ensuring Agent Properties under Arbitrary Sequences of Incoming Events