research
∙
08/24/2018
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs
Confluence of a nondeterministic program ensures a functional input-outp...
share
research
∙
05/26/2018
Confluence of CHR revisited: invariants and modulo equivalence
Abstract simulation of one transition system by another is introduced as...
research
∙
12/22/2017
A simple script language for choreography of multiple, synchronizing non-anthropomorphic robots
The scripting language described in this document is (in the first place...
research
∙
09/15/2017