Propositional projection temporal logic specification mining

DOI10.1007/978-3-030-64843-5_20MaRDI QIDQ2692221zbMATH OpenOpenAlexFDO

Authors Nan Zhang, Xiaoshuai Yuan, Zhenhua Duan

Publication date 21 March 2023

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

zbMATH Keywords

patternpropositional projection temporal logicspecification miningtrace

Mathematics Subject Classification ID

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

Cited in

(1)

• Survey on mining signal temporal logic specifications

Describes a project that uses

Uses Software

• PPTLMiner

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2692221)