Henryk Michalewski
Henryk Michalewski
University of Warsaw and Google
Dirección de correo verificada de mimuw.edu.pl - Página principal
Título
Citado por
Citado por
Año
Model-based reinforcement learning for atari
L Kaiser, M Babaeizadeh, P Milos, B Osinski, RH Campbell, ...
arXiv preprint arXiv:1903.00374, 2019
802019
Reinforcement learning of theorem proving
C Kaliszyk, J Urban, H Michalewski, M Olšák
Advances in Neural Information Processing Systems, 8822-8833, 2018
462018
Small Valdivia compact spaces
W Kubiś, H Michalewski
Topology and its Applications 153 (14), 2560-2573, 2006
402006
Learning to Run challenge solutions: Adapting reinforcement learning methods for neuromusculoskeletal environments
Ł Kidziński, SP Mohanty, CF Ong, Z Huang, S Zhou, A Pechenko, ...
The NIPS'17 Competition: Building Intelligent Systems, 121-153, 2018
212018
Implicit causal models for genome-wide association studies
D Tran, DM Blei
arXiv preprint arXiv:1710.10742, 2017
172017
On the decidability of MSO+ U on infinite trees
M Bojańczyk, T Gogacz, H Michalewski, M Skrzypczak
International Colloquium on Automata, Languages, and Programming, 50-61, 2014
162014
Measure properties of game tree languages
T Gogacz, H Michalewski, M Mio, M Skrzypczak
International Symposium on Mathematical Foundations of Computer Science, 303-314, 2014
152014
An example of a topological group
A Krawczyk, H Michalewski
Topology and its Applications 127 (3), 325-330, 2003
152003
Linear metric spaces close to being σ-compact
A Krawczyk, H Michalewski
Technical Report 46, 2001
142001
Measure quantifier in monadic second order logic
H Michalewski, M Mio
International Symposium on Logical Foundations of Computer Science, 267-282, 2016
132016
Distributed Deep Reinforcement Learning: Learn how to play Atari games in 21 minutes
I Adamski, R Adamski, T Grel, A Jędrych, K Kaczmarek, H Michalewski
International Conference on High Performance Computing, 370-388, 2018
122018
On the Borel inseparability of game tree languages
S Hummel, H Michalewski, D Niwinski
arXiv preprint arXiv:0902.1732, 2009
122009
On the problem of computing the probability of regular sets of trees
H Michalewski, M Mio
arXiv preprint arXiv:1510.01640, 2015
102015
Monadic second order logic with measure and category quantifiers
M Mio, M Skrzypczak, H Michalewski
arXiv preprint arXiv:1702.04769, 2017
72017
The logical strength of B\" uchi's decidability theorem
L Kołodziejczyk, H Michalewski, P Pradic, M Skrzypczak
arXiv preprint arXiv:1608.07514, 2016
72016
Atari games and intel processors
R Adamski, T Grel, M Klimek, H Michalewski
Workshop on Computer Games, 1-18, 2017
62017
Learning from the memory of Atari 2600
J Sygnowski, H Michalewski
Computer Games, 71-85, 2016
62016
Baire category quantifier in monadic second order logic
H Michalewski, M Mio
International Colloquium on Automata, Languages, and Programming, 362-374, 2015
62015
On the separation question for tree languages
A Arnold, H Michalewski, D Niwiński
Theory of Computing Systems 55 (4), 833-855, 2014
62014
Measure properties of regular sets of trees
T Gogacz, H Michalewski, M Mio, M Skrzypczak
Information and Computation 256, 108-130, 2017
52017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20