MaxSAT-based temporal logic inference from noisy data.
Jean-Raphaël GaglioneDaniel NeiderRajarshi RoyUfuk TopcuZhe XuPublished in: Innov. Syst. Softw. Eng. (2022)
Keyphrases
- noisy data
- temporal logic
- model checking
- modal logic
- concurrent systems
- satisfiability problem
- transition systems
- noise free
- learning from noisy data
- noise tolerant
- linear temporal logic
- missing values
- missing data
- computation tree logic
- verification method
- input data
- high dimensional
- bounded model checking
- inference process
- temporal knowledge
- machine learning
- formal specification language
- high dimensionality
- dynamic constraints
- grammatical inference
- belief revision
- pattern recognition
- knowledge base