Similar Items: Path Checking for MTL and TPTL over Data Words
- Computability of Data-Word Transductions over Different Data Domains
- Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
- On the decidability and complexity of Metric Temporal Logic over finite words
- The impact of Memory Transfer Language (MTL) on reducing misconceptions in teaching programming to novices
- Synthesis of Data Word Transducers
- Regular Cost Functions, Part I: Logic and Algebra over Words