FUIN
2016
8 years 8 months ago
2016
Abstract. In this paper, we propose a new method for choosing implications. Our method allows to compare two fuzzy implications. If the truth value of the antecedent and the truth ...
FUIN
2016
8 years 8 months ago
2016
Abstract. We consider the model checking problem for Gap-order Constraint Systems (GCS) w.r.t. the branching-time temporal logic CTL, and in particular its fragments EG and EF. GCS...
FUIN
2016
8 years 8 months ago
2016
based Rewriting through Abstraction Paolo Bottoni1, Esther Guerra2, Juan de Lara2 1 Computer Science Department, “Sapienza” Universit`a di Roma (Italy) 2 Computer Science Depar...
FUIN
2016
8 years 8 months ago
2016
Parsing Expression Grammar (PEG) encodes a recursive-descent parser with limited backtracking. It has been recently noticed that in the situation when the parser is to explore sev...
FUIN
2016
8 years 8 months ago
2016
In this paper we study the complexity of the reachability problem Hornets, an algebraic extension of object nets. Here we consider the restricted class of safe, elementary Hornets....
FUIN
2016
8 years 8 months ago
2016
Robustness of timed systems aims at studying whether infinitesimal perturbations in clock values can result in new discrete behaviors. A model is robust if the set of discrete beh...