Inconsistency Measurement in LTLᶠ Based on Minimal Inconsistent Sets and Minimal Correction Sets
Sébastien Destercke; Maria Vanina Martinez; Giuseppe Sanfilippo (Hrsg). Scalable Uncertainty Management : 16th International Conference, SUM 2024, Palermo, Italy, November 27–29, 2024, Proceedings. Cham: Springer Nature Switzerland 2025 S. 217 - 232
Erscheinungsjahr: 2025
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-031-76235-2_17
| Geprüft: | Bibliothek |
Schlüsselwörter
Autoren
Kuhlmann, Isabelle (Autor)
Corea, Carl (Autor)
