Abstract Model Repair
Given a Kripke structure M and CTL formula $\varphi$, where M does not satisfy $\varphi$, the problem of Model Repair is to obtain a new model M' such that M' satisfies $\varphi$. Moreover, the changes made to M to derive M' should be minimum with respect to all such M'. As in mo...
Main Authors: | George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott A. Smolka |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2015-09-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/1587/pdf |
Similar Items
-
Games for Bisimulations and Abstraction
by: David De Frutos Escrig, et al.
Published: (2017-11-01) -
Abstract Completion, Formalized
by: Nao Hirokawa, et al.
Published: (2019-08-01) -
Abstract Hidden Markov Models: a monadic account of quantitative information flow
by: Annabelle McIver, et al.
Published: (2019-03-01) -
Full abstraction for fair testing in CCS (expanded version)
by: Tom Hirschowitz
Published: (2014-10-01) -
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
by: Sadegh Esmaeil Zadeh Soudjani, et al.
Published: (2015-09-01)