All posts
-
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
handleLTLSPEC
? -
18 Feb 2013 » Buechi mu calculus formula explained