Propositional projection temporal logic specification mining

DOI10.1007/978-3-030-64843-5_20OpenAlexW3111783944MaRDI QIDQ2692221

Zhenhua Duan, Nan Zhang, Xiaoshuai Yuan

Publication date: 21 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-64843-5_20

zbMATH Keywords

tracepatternspecification miningpropositional projection temporal logic

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• PPTLMiner

This page was built for publication: Propositional projection temporal logic specification mining