Real-world robotic scenarios
Spectra and LTLMoP NL requirements
Analysis of Spectra LTL specifications
Simulation and validation with NuSMV
LTL and CTL validation with NuSMV
Relaxing LTL and CTL with NuSMV