Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking. - Norihiro Kamide; Seidai Kanbe (ICAART (3), 2022)