martes, 13 de noviembre de 2012

T11. Lógica temporal lineal LTL

Está semana la tarea consistio en:

Elegir un inciso de los ejercicios del capitulo 14 Linear Temporal Logic LTL
yo elegí el 14.3.2

Como nos menciona el libro encontramos

What are the properties expressed by the following LTL formulas?
¿Cuáles son las propiedades expresadas por las siguente formula LTL?


Aquí encontramos los siguientes operadores: 



Por lo tanto la propiedad expresada quedaría de la siguente manera: 

  • Siempre hay A  implicado en la siguente A. 
  • Siempre hay  un estado A implicado en el siguiente estado A. 

Referencias: 

1 comentario:

  1. Lo que quiere decir es lo siguiente "siempre es válido que si en algún estado cumple A, en el estado inmediato siguiente también cumple A". Van 6 pts por el intento.

    ResponderEliminar