Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Henryk Michalewski
2018
- Matteo Mio, Michał Paweł Skrzypczak and Henryk Michalewski, Monadic Second Order Logic with Measure and Category Quantifiers, Logical Methods In Computer Science 14 (2) 2018.see in PBN
- Henryk Michalewski and Michał Paweł Skrzypczak, On the Strength of Unambiguous Tree Automata, International Journal Of Foundations Of Computer Science 29 (5) 2018.see in PBN
- Łukasz Kidziński, Sharada Mohanty, Carmichael Ong, Zhewei Huang, Shuchang Zhou, Anton Pechenko, Adam Stelmaszczyk, Piotr Jarosik, Mikhail Pavlov, Sergey Kolesnikov, Sergey Plis, Zhibo Chen, Zhizheng Zhang, Jiale Chen, Jun Shi, Zhuobin Zheng, Chun Yuan, Zhihui Lin, Henryk Michalewski, Piotr Miłoś, Błażej Osiński, Andrew Melnik, Malte Schilling, Helge Ritter, Sean Carroll, Jennifer Hicks, Sergey Levine, Marcel Salathé and Scott Delp, Learning to Run Challenge Solutions: Adapting Reinforcement Learning Methods for Neuromusculoskeletal Environments, in: The NIPS '17 Competition: Building Intelligent Systems, USA 2018, p. 121–153.see in PBN
2017
- Mikołaj Bojańczyk, Wojciech Czerwiński, Piotr Hofman, Szczepan Hummel, Bartosz Klin, Eryk Kopczyński, Sławomir Lasota, Filip Aleksander Mazowiecki, Henryk Michalewski, Damian Niwiński, Joanna Ochremiak, Paweł Parys, Michał Pilipczuk, Wojciech Rytter, Michał Paweł Skrzypczak, Szymon Toruńczyk, Igor Walukiewicz, Joost Winter and Lorenzo ClementeFilip Murlak (ed.), 200 Problems in Formal Languages and Automata Theory, Uniwersytet Warszawski, Warszawa 2017.see in PBN
- Maciej Klimek, Henryk Michalewski and Piotr Miłoś, Hierarchical Reinforcement Learning with Parameters, Journal Of Machine Learning Research 78 2017.see in PBN
- Filippo Cavallari, Henryk Michalewski and Michał Paweł Skrzypczak, A Characterisation of Pi\^0\_2 Regular Tree Languages, in: 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, p. 56:1–56:14.see in PBN
- Henryk Michalewski, Andrzej Nagórko and Jakub Pawlewicz, An upper bound of 84 for Morpion Solitaire 5D, in: Proceedings of the 28th Canadian Conference on Computational Geometry, CCCG 2016, August 3-5, 2016, Simon Fraser University, Vancouver, British Columbia, Canada, Simon Fraser University, Vancouver, British Columbia, Canada 2017, p. 270–278.see in PBN
- Maciej Klimek, Henryk Michalewski and Piotr Miłoś, Hierarchical Reinforcement Learning with Parameters, in: 1st Annual Conference on Robot Learning, CoRL 2017, Mountain View, California, USA, November 13-15, 2017, Proceedings, 2017, p. 301–313.see in PBN
2016
- Henryk Michalewski and Matteo Mio, Measure Quantifier in Monadic Second Order Logic, in: Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, 2016, p. 267–282.see in PBN
- Henryk Michalewski, Andrzej Nagórko and Jakub Pawlewicz, 485 – A New Upper Bound for Morpion Solitaire, in: Computer Games, Springer International Publishing, 2016, p. 44–59.see in PBN
- Oskar Skibski, Henryk Michalewski, Andrzej Nagórko, Tomasz Michalak, Andrew Dowell, Talal Rahwan and Michael Wooldridge, Non-Utilitarian Coalition Structure Generation, in: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 2016, p. 1738–1739.see in PBN
- Leszek Aleksander Kołodziejczyk and Henryk Michalewski, How unprovable is Rabin's decidability theorem?, in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, 2016, p. 788–797.see in PBN
- Leszek Aleksander Kołodziejczyk, Henryk Michalewski, Pierre Pradic and Michał Paweł Skrzypczak, The logical strength of Büchi's decidability theorem, in: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), Schloss Dagstuhl 2016, p. 36:1–36:16.see in PBN
- Henryk Michalewski and Michał Paweł Skrzypczak, Unambiguous Büchi Is Weak, in: Developments in Language Theory - 20th International Conference, DLT 2016, Montr\'eal, Canada, July 25-28, 2016, Proceedings, 2016, p. 319–331.see in PBN
- Henryk Michalewski, Matteo Mio and Mikołaj Bojańczyk, On the Regular Emptiness Problem of Subzero Automata, in: Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016., 2016, p. 1–23.see in PBN
- Jakub Sygnowski and Henryk Michalewski, Learning from the Memory of Atari 2600, in: Computer Games, Springer International Publishing, 2016.see in PBN
2015
- Henryk Michalewski and Matteo Mio, On the Problem of Computing the Probability of Regular Sets of Trees, in: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, 2015, p. 489–502.see in PBN
- Henryk Michalewski and Matteo Mio, Baire Category Quantifier in Monadic Second Order Logic, in: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, Springer, 2015, p. 362–374.see in PBN
2014
- Mikołaj Bojańczyk, Tomasz Gogacz, Henryk Michalewski and Michał Paweł Skrzypczak, On the Decidability of MSO+U on Infinite Trees, in: Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II, 2014, p. 50–61.see in PBN
- Alessandro Facchini and Henryk Michalewski, Deciding the Borel Complexity of Regular Tree Languages, in: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, Springer, 2014, p. 163–172.see in PBN
- Tomasz Gogacz, Henryk Michalewski, Matteo Mio and Michał Paweł Skrzypczak, Measure Properties of Game Tree Languages, in: Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II, Springer, 2014, p. 303–314.see in PBN
2009
- Szczepan Hummel, Henryk Michalewski and Damian Niwiński, On the Borel inseparability of game tree languages, in: 26th International Symposium on Theoretical Aspects of Computer Science, Freiburg, February 26 - 28, 2009, Leibniz-Zentrum fuer Informatik, Schloss Dagstuhl 2009.see in PBN
- Adam Krawczyk, Witold Marciszewski and Henryk Michalewski, Remarks on the set of Gδ-points in Eberlein and Corson compact spaces, Topology And Its Applications 156 2009, p. 1746–1748.see in PBN
You are not logged in | log in
