Slides

FLoC 2022 logo

FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

PROGRAM AUTHORS KEYWORDS SLIDES VOLUMES

FLoC | LICS | ICLP | FSCD | NMR | KR | ITP | CP | SAT | CSF | DL | CAV | IJCAR | Olympic Games | SYNT | HoTT/UF | PC | TERMGRAPH | FoMLAS | ABR | PAAR | FOMEO | XLoKR | PERR | CHANGE | VeriProp | NSV | PLP | WST | IFIP-WG1.6 | QBF | ThEdu | DECFOML | ModRef | ASPOCP | MC | LMML | GDE | WPTE | GuttmanFest | iPRA | FCS | BCORE | UNIF | Coq | WOLVERINE | PDAR | Isabelle | SMT | ASL | DatalogMTL | TLLA-LINEARITY | LFMTP | IWC | ARQNL | REAI | PCCR | VardiFest | WiL | FMBC | Mentoring Workshop | SC^2 | LogTeach | POS | FRIDA | DSV

PROGRAM | AUTHORS | KEYWORDS | SLIDES

SLIDES

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games

Kittiphon Phalakarn, Toru Takisaka, Thomas Haas and Ichiro Hasuo

Disclaimer | Powered by EasyChair Smart Program