CIToolkit Documentation

Overview

citoolkit is a library containing tools to create and solve instances of the Control Improvisation problem and its extensions. This library supports the following flavors of Control Improvisation:

• Control Improvisation (CI) [Fremont et al. 2017]

The following specification types are currently supported for hard and soft constraints:

• Deterministic Finite Automaton (DFA)

If you encounter any problems with the citoolkit please submit an issue on GitHub or contact Eric at evin@ucsc.edu

Table of Contents

Getting Started

• Installation
• Tests
• Usage
  • Specifications
  • Improvisers

Indices

• Index

• Module Index