| ||||
| ||||
![]() Title:Little Tricky Logic: Misconceptions in the Understanding of LTL Conference:VardiFest22 Tags:LTL, misconceptions, property language design and user studies Abstract: We have been studying LTL misconceptions with multiple populations to determine *in what ways* LTL is tricky and to decide *what we can do* to address the issues. We propose an interactive remote talk that aims to demonstrate the LTL misconceptions and expert blind spots that we have found. Little Tricky Logic: Misconceptions in the Understanding of LTL ![]() Little Tricky Logic: Misconceptions in the Understanding of LTL | ||||
Copyright © 2002 – 2025 EasyChair |