×

Found 7 Documents (Results 1–7)

Model checking the logic of Allen’s relations Meets and Started-by is \(\mathbf{P}^{\mathbf{NP}}\)-complete. (English) Zbl 1478.68148

Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 76-90 (2016).
MSC:  68Q60 03B44 68Q17
PDFBibTeX XMLCite
Full Text: arXiv Link

Interval temporal logic model checking: the border between good and bad HS fragments. (English) Zbl 1475.68177

Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 389-405 (2016).
MSC:  68Q60 03B44 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software