Filter by: Subject
Now showing items 1-10
Atomic Proposition (2) |
Comprobación del modelo (2) |
Estructura Kripke (2) |
Kripke Structure (2) |
Linear Temporal Logic (2) |
Lógica Temporal Lineal (2) |
Model Check (2) |
Plan Execution (2) |
Proposición atómica (2) |
Ejecución del plan (1) |