Formal methods play an important part in the development as well as testing stages of software and hardware systems. A significant and often overlooked part of the process is the development of specifications and correctness requirements for the system under test. Traditionally, English has been used as the specification language, which has resulted in verbose and difficult to use specification documents that are usually

Withdraw deadline

Holiday

Discontinuance deadline

While Machine Learning is one of the most popular research areas in Computer Science right now, there are still only a few applications meant to be used by the general public. We propose to develop an exemplary application that can be directly applied to eBay trading. We would like to build a system that predicts how much an item would sell

Searching for lost people in a Wilderness Search and Rescue (WiSAR) scenario is a task that can benefit from large numbers of agents, some of whom may be robotic. These agents may have differing levels of autonomy, determined by the set of tasks they are performing. In addition, the level of autonomy that results in the best performance may change due to varying workload or other factors.