contents.md

Documentation Contents

1. Features
2. Assumptions
3. File Description
4. Running RTEC with a bash execution script
   1. Requirements
   2. Running an Existing Application
   3. Running a New Application
5. Running RTEC with its Command Line Interface
   1. Requirements
   2. Running an Existing Application
6. Reasoning over Historical Data vs a Live Stream
7. Applications
   1. A Toy Example
   2. Activity Recognition
   3. City Transport & Traffic Management
   4. Voting in Multi-Agent Systems
   5. NetBill: An E-commerce Protocol
   6. Maritime Situational Awareness
8. References