ISSE

Search

OC-Paper accepted @ ICTAI 2014


Hooray! A paper describing the formal underpinnings of a soft-constraint technique to describe corridors of correct behaviors in self-organizing systems has just been accepted to ICTAI's Special Track on SAT/CSP technologies (http://www.cril.univ-artois.fr/ICTAI14-SAT-CSP-Track/). To find out more about this work, check out http://www.isse.uni-augsburg.de/publications/reif/2014-OC-ICTAI-Soft-Constraints/.

message of 18.09.2014