Computing unsatisfiable cores for LTLf specifications

Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini

Type: Preprint

Publication Date: 2022-01-01

Citations: 2

DOI: https://doi.org/10.48550/arxiv.2203.04834

View Publication

Locations

arXiv (Cornell University) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Enumerating Minimal Unsatisfiable Cores of LTLf formulas	2024	Antonio Ielo Giuseppe Mazzotta Rafael Peñaloza Francesco Ricca
+ PDF Chat	Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance	2013	Viktor Schuppan
+ PDF Chat	Extracting Unsatisfiable Cores for LTL via Temporal Resolution	2013	Viktor Schuppan
+ PDF Chat	Extracting unsatisfiable cores for LTL via temporal resolution	2015	Viktor Schuppan
+	SAT-based Explicit LTLf Satisfiability Checking	2018	Jianwen Li Kristin Yvonne Rozier Geguang Pu Yueling Zhang Moshe Y. Vardi
+ PDF Chat	SAT-Based Explicit LTLf Satisfiability Checking	2019	Jianwen Li Kristin Yvonne Rozier Geguang Pu Yueling Zhang Moshe Y. Vardi
+ PDF Chat	On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts	2024	Shengping Xiao Yongkang Li Shufang Zhu Jun Sun Jianwen Li Geguang Pu Moshe Y. Vardi
+	LTLf satisfiability checking	2014	Jianwen Li Lijun Zhang Geguang Pu Moshe Y. Vardi Jifeng He
+	Polsat: A Portfolio LTL Satisfiability Solver	2013	Jianwen Li Geguang Pu Lijun Zhang Yinbo Yao Moshe Y. Vardi Jifeng He
+	Symbolic LTLf Synthesis	2017	Shufang Zhu Lucas M. Tabajara Jianwen Li Geguang Pu Moshe Y. Vardi
+	Unrealizable Cores for Reactive Systems Specifications	2021	Shahar Maoz Rafi Shalom
+	Unrealizable Cores for Reactive Systems Specifications	2021	Shahar Maoz Rafi Shalom
+ PDF Chat	Unrealizable Cores for Reactive Systems Specifications	2021	Shahar Maoz Rafi Shalom
+ PDF Chat	Complexity of Safety and coSafety Fragments of Linear Temporal Logic	2023	Alessandro Artale Luca Geatti Nicola Gigante Andrea Mazzullo Angelo Montanari
+	Complexity of Safety and coSafety Fragments of Linear Temporal Logic	2022	Alessandro Artale Luca Geatti Nicola Gigante Andrea Mazzullo Angelo Montanari
+	Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.	2021	Matías Brizzio Renzo Degiovanni Maxime Cordy Mike Papadakis Nazareno Aguirre
+ PDF Chat	Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages	2011	François Hantry Mohand-Saïd Hacid
+	Enhancing unsatisfiable cores for LTL with information on temporal relevance	2016	Viktor Schuppan
+	Symbolic LTLf Best-Effort Synthesis	2023	Giuseppe De Giacomo Gianmarco Parretti Shufang Zhu
+	Inferring Properties in Computation Tree Logic	2023	Rajarshi Roy Daniel Neider

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (7)

Action	Title	Year	Authors
+	Computing Minimal Sets on Propositional Formulae I: Problems & Reductions.	2014	João Marques‐Silva Mikoláš Janota
+	Clausal temporal resolution	2001	Michael Fisher Clare Dixon Martin Peim
+ PDF Chat	Linear Encodings of Bounded LTL Model Checking	2006	Armin Biere Keijo Heljanko Tommi Junttila Timo Latvala Viktor Schuppan
+ PDF Chat	Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals	2018	Massimo Narizzano Luca Pulina Armando Tacchella Simone Vuotto
+ PDF Chat	One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	2020	Luca Geatti Nicola Gigante Angelo Montanari Mark Reynolds
+ PDF Chat	Extracting unsatisfiable cores for LTL via temporal resolution	2015	Viktor Schuppan
+	Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces	2020	Giuseppe De Giacomo Riccardo De Masellis Fabrizio Maria Maggi Marco Montali