https://whitemech.github.io/meetings/2020/04/16/game-theory-i.html 2020-04-16T00:00:00+00:00 https://whitemech.github.io/meetings/2020/04/23/weighted-automata-logic.html 2020-04-23T00:00:00+00:00 https://whitemech.github.io/meetings/2020/05/28/molecule-synthesis.html 2020-05-28T00:00:00+00:00 https://whitemech.github.io/meetings/2020/06/04/goal-recognition-over-imperfect-domain-models.html 2020-06-04T00:00:00+00:00 https://whitemech.github.io/meetings/2020/06/11/program-synthesis-ltl.html 2020-06-11T00:00:00+00:00 https://whitemech.github.io/meetings/2020/06/18/automata-learning.html 2020-06-18T00:00:00+00:00 https://whitemech.github.io/meetings/2020/07/02/ldlf2dfa.html 2020-07-02T00:00:00+00:00 https://whitemech.github.io/meetings/2021/01/28/compositional-ldlf2dfa.html 2021-01-28T00:00:00+00:00 https://whitemech.github.io/meetings/2021/02/04/digital-twins.html 2021-02-04T00:00:00+00:00 https://whitemech.github.io/meetings/2021/02/11/understanding-RPNs.html 2021-02-11T00:00:00+00:00 https://whitemech.github.io/meetings/2021/02/18/PAC-RDPs.html 2021-02-18T00:00:00+00:00 https://whitemech.github.io/meetings/2021/02/25/learning-symbolic-domain.html 2021-02-25T00:00:00+00:00 https://whitemech.github.io/meetings/2021/03/11/synthesis-problems-prompt-LTL.html 2021-03-11T00:00:00+00:00 https://whitemech.github.io/meetings/2021/04/29/mission-planning.html 2021-04-29T00:00:00+00:00 https://whitemech.github.io/meetings/2021/05/06/on-the-fly-synthesis.html 2021-05-06T00:00:00+00:00 https://whitemech.github.io/meetings/2021/05/27/observer-aware-planning.html 2021-05-27T00:00:00+00:00 https://whitemech.github.io/meetings/2021/06/03/natural-strategic-ability.html 2021-06-03T00:00:00+00:00 https://whitemech.github.io/meetings/2021/06/10/compositional-RL-logical-specifications.html 2021-06-10T00:00:00+00:00 https://whitemech.github.io/meetings/2021/06/17/tractable-novely-exploration-planning.html 2021-06-17T00:00:00+00:00 https://whitemech.github.io/meetings/2021/06/24/synthesi-from-temporal-specifications.html 2021-06-24T00:00:00+00:00 https://whitemech.github.io/meetings/2021/07/08/synthesis-via-separation.html 2021-07-08T00:00:00+00:00 https://whitemech.github.io/meetings/2021/07/15/goal-recognition-and-deception.html 2021-07-15T00:00:00+00:00 https://whitemech.github.io/meetings/2021/09/24/automated-creation-and-decomposition-reward-machines-Multiagent-RL.html 2021-09-24T00:00:00+00:00 https://whitemech.github.io/meetings/2021/10/21/formal-synthesis-of-supervisory-controllers-under-LTL-constraints.html 2021-10-21T00:00:00+00:00 https://whitemech.github.io/meetings/2021/11/04/examining-games-and-a-way-to-repair-them.html 2021-11-04T00:00:00+00:00 https://whitemech.github.io/meetings/2021/11/18/towards-capturing-PTIME-with-no-counting-construct-(but-with-a-version-of-Hilbert's-Choice-operator).html 2021-11-18T00:00:00+00:00 https://whitemech.github.io/meetings/2022/03/02/overcoming-exploration-deep-reinforcement-learning-in-complex-environments-from-temporal-logic-specifications.html 2022-03-02T00:00:00+00:00 https://whitemech.github.io/meetings/2022/03/24/certified-learning-or-learning-for-verification.html 2022-03-24T00:00:00+00:00 https://whitemech.github.io/meetings/2022/03/31/symbolic-reactive-synthesis-from-extended-bounded-responseltl+p-specifications.html 2022-03-31T00:00:00+00:00 https://whitemech.github.io/meetings/2022/04/12/business-process-management-(BPM)-and-intelligent-agents.html 2022-04-12T00:00:00+00:00 https://whitemech.github.io/meetings/2022/04/21/target-languages-(vs-inductive-biases)-for-learning-to-act-and-plan.html 2022-04-21T00:00:00+00:00 https://whitemech.github.io/meetings/2022/04/28/structure-and-hierarchy-in-reinforcement-learning.html 2022-04-28T00:00:00+00:00 https://whitemech.github.io/meetings/2022/05/05/a-first-order-logic-characterisation-of-safety-and-co-safety-languages.html 2022-05-05T00:00:00+00:00 https://whitemech.github.io/meetings/2022/05/12/best-effort-synthesis.html 2022-05-12T00:00:00+00:00 https://whitemech.github.io/meetings/2022/06/10/iterative-depth-first-search-for-fully-observable-non-deterministic-planning.html 2022-06-10T00:00:00+00:00 https://whitemech.github.io/meetings/2022/07/07/factored-planning-from-classical-planning-to-Dec-POMDPs.html 2022-07-07T00:00:00+00:00 https://whitemech.github.io/meetings/2022/09/07/feature-based-generalized-policies-and-guarantees.html 2022-09-07T00:00:00+00:00 https://whitemech.github.io/meetings/2022/09/22/symbolic-tableaux-for-LTL_LTLf-satisfiability.html 2022-09-22T00:00:00+00:00 https://whitemech.github.io/meetings/2022/09/29/functional-synthesis-formal-methods-meets-machine-learning.html 2022-09-29T00:00:00+00:00 https://whitemech.github.io/meetings/2022/10/13/modern-query-evaluation-algorithms.html 2022-10-13T00:00:00+00:00 https://whitemech.github.io/meetings/2022/11/10/on-the-power-of-ltlf-in-assured-autonomy.html 2022-11-10T00:00:00+00:00 https://whitemech.github.io/meetings/2022/11/17/knowledge-compilation-meets-logical-separability.html 2022-11-17T00:00:00+00:00 https://whitemech.github.io/meetings/2022/11/17/programming-agents-via-evaluative-feedback.html 2022-11-17T00:00:00+00:00 https://whitemech.github.io/meetings/2023/10/09/formal-methods-meets-machine-learning.html 2023-10-09T00:00:00+00:00 https://whitemech.github.io/meetings/2023/11/17/neuro-symbolic-methods-for-reactive-synthesis.html 2023-11-17T00:00:00+00:00 https://whitemech.github.io/meetings/ https://whitemech.github.io/meetings/2/ https://whitemech.github.io/meetings/3/ https://whitemech.github.io/meetings/4/ https://whitemech.github.io/meetings/5/ https://whitemech.github.io/meetings/6/ https://whitemech.github.io/meetings/7/ https://whitemech.github.io/meetings/8/ https://whitemech.github.io/courses/game-theoretic-PhD-AI/fixpoints-mucalc.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/courses/game-theoretic-PhD-AI/lecture1.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/courses/game-theoretic-PhD-AI/lecture2.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/courses/game-theoretic-PhD-AI/lecture3.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/courses/game-theoretic-PhD-AI/lecture4.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/meetings/slides/2023-11-17-neuro-symbolic-methods-for-reactive-synthesis.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2019/fi2019ddllr.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/aaai2020dlt.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/aaai2020sisterdfip.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/aaai2020zdpv.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/aamas2020dl.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/ai2020gnpw.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/amai2020dtr.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/arxiv2020clrs.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/arxiv2020ddmm.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/dl2020ndl.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/dsmm2020llps.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/edbt2020cclc.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/icaps2020adr.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/icaps2020dfip.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/icpm2020cddmm.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/icuas2020utsof.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/ijcai2020adlmr.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/ijcai2020clrs.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/ijcai2020ddfr.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/ijcai2020ddfr_poster.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/iswc2020clmrs.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/iswc2020llpqs.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/iwsr2020gnpw1.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/iwsr2020gnpw2.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/iwsr2020p.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/kr2020bdgpr.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/kr2020clp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/kr2020ddvz.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/kr2020dfipr.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/kr2020dfmp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/kr2020dfmp_poster.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2020/kr2020dmm.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/aaai2021dmfp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/aaai2021xlzspv.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/aamas2021rfm.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/airo2021cdfip.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/apin2021aghhknpsw.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/arxiv2021bcci.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/arxiv2021dp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/arxiv2021ffd.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/arxiv2021mfgm.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/fgcs2021odet.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/frcmn2021bccfi.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/gandalf2021ztpv.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/genplan2021dgflmm.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/highlights2021dp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/icaps2021df.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/ijcai2021adr.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/ijcai2021cdln.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/ijcai2021ddtvz.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/ijcai2021dfmp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/ijcai2021mf.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/ijcai2021rd.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/itbpm2021dflms.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/jair2021dors.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/kr2021adlmr.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/kr2021ddpz.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/kr2021dl.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/kr2021dmpp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/lncs2021dllm.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/prl2021dfip.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/prl2021uarcnd.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/spark2021gfm.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2021/tocl2021ghpw.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/aaai2022cmp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/aij2022dflps.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/aij2022rkch.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/amai2022gnpw.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/arxiv2022dff.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/arxiv2022dflmmracdfglv.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/arxiv2022dfpz.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/fi2022lssd.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/highlights2022dmpp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/icaps2022fgmd.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/ijcai2022adrz.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/ijcai2022cdmp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/ijcai2022dflps.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/ijcai2022dflvxz.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/ijcai2022rpd.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/ijcai2022zd.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/is2022cddmm.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/italia2022dfmls.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/kr2022adlp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2022/kr2022zd.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/aaai2023adfmmp.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/caise2023dflmms.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/icws2023mslm.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/ijcai2023bdl.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/jair2023dfpz.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/kr2023ucd.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/lics2023adrz.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/nesy2023uabc.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/planrob2023stip.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/ssoc2023mslm.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/synt2023z.pdf 2025-03-21T08:39:11+00:00 https://whitemech.github.io/papers/2023/wil2023z.pdf 2025-03-21T08:39:11+00:00