TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

A | |

Abstraction | |

AMBA | |

automated planning | |

C | |

CEGIS | |

controller synthesis | |

Counterexamples | |

D | |

Discrete Time Markov Chain | |

E | |

environment assumptions | |

Expected mean-payoff | |

G | |

Global Optimisation | |

GR(1) synthesis | |

I | |

inductive synthesis | |

L | |

Linear Temporal Logic | |

LTL synthesis | |

M | |

Monotonic Markov decision processes | |

O | |

Optimal strategy synthesis | |

P | |

parameterized synthesis | |

Probabilistic Abstract Interpretation | |

Probabilistic Program Semantics | |

program synthesis | |

pseudo-antichain | |

Q | |

QBF | |

R | |

reactive synthesis | |

S | |

self-stabilization | |

specification debugging | |

Stochastic shortest path | |

symblicit approach | |

synthesis | |

V | |

verification |