Henryk Michalewski
发表
Damian Niwinski,
André Arnold,
Henryk Michalewski,
2014,
Theory of Computing Systems.
Michal Skrzypczak,
Henryk Michalewski,
2018,
Int. J. Found. Comput. Sci..
Matteo Mio,
Henryk Michalewski,
2015,
FSTTCS.
Maciej Klimek,
Henryk Michalewski,
Robert Adamski,
2017,
CGW@IJCAI.
Maciej Klimek,
Henryk Michalewski,
Piotr Milos,
2017,
CoRL.
Henryk Michalewski,
Jakub Sygnowski,
Jakub Sygnowski,
2016,
CGW@IJCAI.
Szczepan Hummel,
Damian Niwinski,
Henryk Michalewski,
2009,
STACS.
Michal Skrzypczak,
Leszek Aleksander Kolodziejczyk,
Henryk Michalewski,
2016,
CSL.
Alessandro Facchini,
Henryk Michalewski,
2014,
CiE.
Mikolaj Bojanczyk,
Henryk Michalewski,
M. Bojanczyk,
2017,
ArXiv.
Mikolaj Bojanczyk,
Matteo Mio,
Henryk Michalewski,
2016,
ICE.
Sergey Levine,
Dumitru Erhan,
Roy H. Campbell,
2019,
ICLR.
Jakub Pawlewicz,
Henryk Michalewski,
Andrzej Nagórko,
2016,
CCCG.
Michal Skrzypczak,
Matteo Mio,
Henryk Michalewski,
2018,
Log. Methods Comput. Sci..
Cezary Kaliszyk,
Josef Urban,
Henryk Michalewski,
2019,
TABLEAUX.
Henryk Michalewski,
Sebastian Jaszczur,
Michal Luszczyk,
2020,
ArXiv.
Cezary Kaliszyk,
Josef Urban,
Henryk Michalewski,
2018,
NeurIPS.
Henryk Michalewski,
Blazej Osinski,
Christopher Galias,
2019
.
Damian Niwinski,
Henryk Michalewski,
2012,
Logic and Program Semantics.
Henryk Michalewski,
Robert Adamski,
Tomasz Grel,
2018,
ISC.
Jakub Pawlewicz,
Henryk Michalewski,
Andrzej Nagórko,
2015,
CGW/GIGA@IJCAI.
Michal Skrzypczak,
Henryk Michalewski,
Filippo Cavallari,
2017,
MFCS.
Henryk Michalewski,
Piotr Milos,
Silviu Homoceanu,
2020,
2020 IEEE International Conference on Robotics and Automation (ICRA).
Henryk Michalewski,
Pierre Pradic,
Michal Skrzypczak,
2019,
Log. Methods Comput. Sci..
Oskar Skibski,
Talal Rahwan,
Tomasz P. Michalak,
2016,
ECAI.
Learning to Run challenge solutions: Adapting reinforcement learning methods for neuromusculoskeletal environments
pdf
Sergey M. Plis,
Helge J. Ritter,
Sergey Levine,
2018,
ArXiv.
Michal Skrzypczak,
Mikolaj Bojanczyk,
Henryk Michalewski,
2014,
ICALP.
Leszek Aleksander Kolodziejczyk,
Henryk Michalewski,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Michal Skrzypczak,
Matteo Mio,
Henryk Michalewski,
2014,
MFCS.
Henryk Michalewski,
Piotr Milos,
Antonia Breuer,
2020,
ArXiv.
Damian Niwinski,
André Arnold,
Henryk Michalewski,
2012,
STACS.
Henryk Michalewski,
Piotr Milos,
Michal Garmulewicz,
2018,
ArXiv.
Michal Skrzypczak,
Henryk Michalewski,
2016,
DLT.
Michał Skrzypczak,
Matteo Mio,
Henryk Michalewski,
2017,
Inf. Comput..
Matteo Mio,
Henryk Michalewski,
2015,
ICALP.
Matteo Mio,
Henryk Michalewski,
Henryk Michalewski,
2016,
LFCS.
Henryk Michalewski,
Mateusz Malinowski,
Piotr Pikekos,
2021,
ACL.
Lukasz Kaiser,
Afroz Mohiuddin,
Henryk Michalewski,
2021,
2022 International Joint Conference on Neural Networks (IJCNN).
Lukasz Kaiser,
Christian Szegedy,
Henryk Michalewski,
2021,
ArXiv.
Charles Sutton,
David Dohan,
Henryk Michalewski,
2021,
ArXiv.
Aakanksha Chowdhery,
Lukasz Kaiser,
Afroz Mohiuddin,
2021,
NeurIPS.
Henryk Michalewski,
Piotr Milo's,
Michal Zawalski,
2021,
ArXiv.
David Bieber,
Charles Sutton,
Aitor Lewkowycz,
2021,
ArXiv.