Scalable anytime algorithms for learning fragments of linear temporal logic
type: Item
instance of: scholarly article
title: Scalable anytime algorithms for learning fragments of linear temporal logic
zbMATH Open document ID: 1547.6845
DOI: 10.1007/978-3-030-99524-9_14
author: Ritam Raha
author: Rajarshi Roy
author: Nathanaël Fijalkow
author: Daniel Neider
publication date: 2024-01-23T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 7793099
zbMATH Keywords: linear temporal logic
zbMATH Keywords: artificial intelligence
zbMATH Keywords: specification mining
MaRDI profile type: Publication
cites work: A Decision Tree Approach to Data Classification using Signal Temporal Logic
cites work: Analytical approach to parallel repetition
cites work: Temporal logic motion planning for dynamic robots
cites work: Q3549563
cites work: Syntax-guided rewrite rule enumeration for SMT solvers
description: scientific article; zbMATH DE number 7793099