A MaxSAT-Based Approach for Computing Inconsistency Degrees in Linear Temporal Logic on Fixed Traces.
VenueCECSQARU
Year2025
ProceedingsECSQARU (Workshops and Tutorials)
DBLP recordconf/ecsqaru/Kuhlmann25 ↗
Browse the full ECSQARU paper archive.
Browse the full ECSQARU paper archive.