FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Jan Kretinsky
Organization: Technical University of Munich
Pages in this Program
All Proceedings Papers
CAV All Papers
CAV All Papers: Papers with Abstracts
CAV on Sunday, July 15th
CAV Program
FoPSS on Wednesday, July 4th
FoPSS Program
LICS on Monday, July 9th
LICS on Tuesday, July 10th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
Paper: Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
Paper: One Theorem to Rule Them All: A Unified Translation of LTL into $\omega$-Automata
Paper: Rabinizer 4: From LTL to Your Favourite Deterministic Automaton
Paper: Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm
Program
Program for Monday, July 9th
Program for Sunday, July 15th
Program for Tuesday, July 10th
Program for Wednesday, July 4th