You are here

Using Finite Transducers for Describing and Synthesising Structural Time-Series Constraints

Date: 
Friday, 4 September, 2015
Organising Body: 
ACP
Event Type: 
Conference
Presentation Type: 
Plenary talk
Event: 
CP 2015
Venue: 
Cork
Location: 
Ireland
Insight Researchers: 
Non-Insight Researchers: 
Nicolas Beldiceanu
Remi Douence
Mats Carlsson