arXiv - CSCL: "Satisfiability Checking of Multi-Variable TPTL wi…" - Qoto Mastodon

arXiv - CSCL @arxiv_cscl@qoto.org

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. (arXiv:2309.00386v1 [cs.LO])

http://arxiv.org/abs/2309.00386 #arXiv #NLProc

Sep 04, 2023, 03:17 · · arxiv-cscl · · ·

Sign in to participate in the conversation