Norihiro Kamide. Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking. International Journal of Software Engineering and Knowledge Engineering, 32(7):971-1017, 2022. [doi]
@article{Kamide22a-1, title = {Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking}, author = {Norihiro Kamide}, year = {2022}, doi = {10.1142/S0218194022500371}, url = {https://doi.org/10.1142/S0218194022500371}, researchr = {https://researchr.org/publication/Kamide22a-1}, cites = {0}, citedby = {0}, journal = {International Journal of Software Engineering and Knowledge Engineering}, volume = {32}, number = {7}, pages = {971-1017}, }