SpaTeL: a novel spatial-temporal logic and its applications to networked systems.
Iman HaghighiAustin JonesZhaodan KongEzio BartocciRadu GrosuCalin BeltaPublished in: HSCC (2015)
Keyphrases
- temporal logic
- model checking
- dynamic constraints
- reactive systems
- satisfiability problem
- transition systems
- modal logic
- complex systems
- distributed systems
- concurrent systems
- domain independent
- spatial information
- knowledge based systems
- belief revision
- temporal information
- temporal resolution
- temporal knowledge
- spatial data
- multimedia
- linear temporal logic