DEBT
发表于 2025-4-1 02:26:29
http://reply.papertrans.cn/59/5881/588015/588015_61.png
MAIM
发表于 2025-4-1 06:33:12
Games and Model Checking for Guarded Logicsovide good results for the modal μ-calculus and is verycloselyrelated to automata-based methods. To obtain good results also for guarded logics, optimized constructions of games have to be provided..Further, we studythe structure of paritygames, isolate ‘easy’ cases that admit efficient algorithmic
allude
发表于 2025-4-1 10:31:31
http://reply.papertrans.cn/59/5881/588015/588015_63.png