VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

A
Abstraction	AbsSynthe: abstract synthesis from succinct safety specifications
AMBA	Parameterized Synthesis Case Study: AMBA AHB
automated planning	Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
C
CEGIS	Are There Good Mistakes? A Theoretical Analysis of CEGIS
controller synthesis	AbsSynthe: abstract synthesis from succinct safety specifications
Counterexamples	Are There Good Mistakes? A Theoretical Analysis of CEGIS
D
Discrete Time Markov Chain	Program Synthesis and Linear Operator Semantics
E
environment assumptions	How to Handle Assumptions in Synthesis
Expected mean-payoff	Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
G
Global Optimisation	Program Synthesis and Linear Operator Semantics
GR(1) synthesis	Low-effort Specification Debugging and Analysis
I
inductive synthesis	Are There Good Mistakes? A Theoretical Analysis of CEGIS
L
Linear Temporal Logic	How to Handle Assumptions in Synthesis
LTL synthesis	Parameterized Synthesis Case Study: AMBA AHB Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
M
Monotonic Markov decision processes	Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
O
Optimal strategy synthesis	Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
P
parameterized synthesis	Parameterized Synthesis Case Study: AMBA AHB
Probabilistic Abstract Interpretation	Program Synthesis and Linear Operator Semantics
Probabilistic Program Semantics	Program Synthesis and Linear Operator Semantics
program synthesis	Program Synthesis and Linear Operator Semantics
pseudo-antichain	Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
Q
QBF	Synthesis of a simple self stabilizing system
R
reactive synthesis	Low-effort Specification Debugging and Analysis Parameterized Synthesis Case Study: AMBA AHB How to Handle Assumptions in Synthesis
S
self-stabilization	Synthesis of a simple self stabilizing system
specification debugging	Low-effort Specification Debugging and Analysis
Stochastic shortest path	Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
symblicit approach	Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
synthesis	Synthesis of a simple self stabilizing system
V
verification	AbsSynthe: abstract synthesis from succinct safety specifications

Disclaimer | Powered by EasyChair Smart Program