Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Kreber, Jens"'
Mobile robots should be capable of planning cost-efficient paths for autonomous navigation. Typically, the terrain and robot properties are subject to variations. For instance, properties of the terrain such as friction may vary across different loca
Externí odkaz:
http://arxiv.org/abs/2409.11452
Autor:
Kreber, Jens U., Hahn, Christopher
We study the capabilities of GANs and Wasserstein GANs equipped with Transformer encoders to generate sensible and challenging training data for symbolic reasoning domains. We conduct experiments on two problem domains where Transformers have been su
Externí odkaz:
http://arxiv.org/abs/2110.10054
We study two fundamental questions in neuro-symbolic computing: can deep learning tackle challenging problems in logics end-to-end, and can neural networks learn the semantics of logics. In this work we focus on linear-time temporal logic (LTL), as i
Externí odkaz:
http://arxiv.org/abs/2003.04218
Autor:
Jacobs, Swen, Bloem, Roderick, Brenguier, Romain, Khalimov, Ayrat, Klein, Felix, Könighofer, Robert, Kreber, Jens, Legg, Alexander, Narodytska, Nina, Pérez, Guillermo A., Raskin, Jean-François, Ryzhyk, Leonid, Sankur, Ocan, Seidl, Martina, Tentrup, Leander, Walker, Adam
Publikováno v:
EPTCS 229, 2016, pp. 149-177
We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchmarks in the new LTL-based temporal logic synthesis format (TLSF), and
Externí odkaz:
http://arxiv.org/abs/1609.00507