All posts

• 06 Dec 2024 » Bernoulli Variables

• 11 Jun 2024 » PAC learning

• 23 Feb 2022 » Complete Synthesis Procedure for TSL

• 05 Jun 2021 » Minimization and Synthesis of the Tail

• 04 Jun 2021 » Temporal Stream Logic modulo Theories

• 24 Nov 2020 » Neider’s work on learning

• 09 Nov 2020 » Undecidability of synthesis from FO with data

• 31 Oct 2020 » Temporal Logics on Words with Multiple Data Values

• 27 Oct 2020 » Applications of Automata Learning in Verification and Synthesis

• 25 Oct 2020 » LCS’s: breating life into message sequence charts

• 16 Oct 2020 » Lazy Synthesis

• 12 Oct 2020 » Temporal Stream Logic: Synthesis beyond the Bools

• 18 Nov 2016 » Notes on Hoare Assignment Axiom

• 29 Oct 2016 » How is it going?

• 19 Aug 2016 » Converting CTL* into a Hesitant Word Automaton

• 11 Aug 2016 » Converting CTL* into a Hesitant Automaton

• 15 Jul 2016 » Quick notes on submitted tools for SYNTCOMP

• 07 Apr 2016 » Semiperfect-information Games Synthesis vs Estimator-based Synthesis

• 04 Apr 2016 » Note on Semiperfect-information Games

• 11 Feb 2016 » Note on Proof 4 from Algorithms for Omega-Regular Games with Incomlete Information

• 05 Feb 2016 » Note on Estimator-Based Reactive Synthesis under Incomplete Information

• 14 Oct 2015 » On Reif’s algorithm for games of incomplete information

• 29 Jun 2015 » How does smvtoaig handle LTLSPEC?

• 18 Feb 2013 » Buechi mu calculus formula explained