# Regular Repair of Specifications

@article{Benedikt2011RegularRO,
title={Regular Repair of Specifications},
author={Michael Benedikt and Gabriele Puppis and Cristian Riveros},
journal={2011 IEEE 26th Annual Symposium on Logic in Computer Science},
year={2011},
pages={335-344}
}
What do you do if a computational object (e.g. program trace) fails a specification?An obvious approach is to perform \emph{repair}: modify the object minimally to get something that satisfies the constraints..In this paper we study repair of temporal constraints, given as automata or temporal logic formulas. We focus on determining the number of repairs that must be applied to a word satisfying a given input constraint in order to ensure that it satisfies a given target constraint. This number… CONTINUE READING

#### Citations

##### Publications citing this paper.
Showing 1-10 of 11 extracted citations
Highly Influenced
7 Excerpts
Highly Influenced
10 Excerpts
Highly Influenced
10 Excerpts
5 Excerpts

#### References

##### Publications referenced by this paper.
Showing 1-10 of 17 references
Highly Influential
4 Excerpts
Highly Influential
6 Excerpts
Highly Influential
3 Excerpts
Highly Influential
3 Excerpts
2 Excerpts
1 Excerpt

## The convenience of tilings , ” in

• L. de Alfaro A. Chakrabarti, T. A. Henzinger, M. Stoelinga, Van Emde Boas
• Complexity , Logic and Recursion Theory
• 2004