3 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
Normann Decker, Peter Habermehl, Martin Leucker +1
We study temporal logics and automata on multi-attributed data words. Recently, BD-LTL was introduced as a temporal logic on data words extending LTL by navigation along positions…