Temporal Logics Zoo

Temporal Logics Zoo

Motivation and Objectives:

The present wiki space is inspired by the complexity zoo counterpart (https://complexityzoo.uwaterloo.ca/Complexity_Zoo) and is an effort to bring together specification languages, tools, and resources employed in robotics and control. The main goals of the wiki space are:

• to build a repository of the main specification languages employed in robotics and control
• to present the relationships between them with respect to syntax and semantics in order to clarify and help with the choice of appropriate TL for specific applications
• to build a repository of tutorials, use cases, tools, and standard benchmark data and missions
• to engage the community to maintain a dynamic and curated reference resource for TL in robotics and control
• to survey the needs and accomplishments of the field through shared media
• to periodically publish a report on progress, current problems, and long-term direction of the field

Format

In order to provide a useful resource for researchers, we employ a "less is better"  principle in the sense that descriptions are should be as concise as possible outlining the most relevant knowledge. The pages in this space are curated and must follow proper citation conventions. However, references should be as much as possible to externally hosted repositories such as IEEEXplore, Scopus, etc. Again, the goal is not to have an exhaustive list of papers and tools, but to provide a dynamic community-curated reference for starting or seasoned researchers in robotics and control that employ temporal logics.

Quick overview of Temporal Logics

To help you on your way, we've inserted some of our favourite macros on this home page. As you start creating pages, blogging and commenting you'll see the macros below fill up with all the activity in your space.