Nils Jansen - Publications, H-index & Citations

Nils Jansen

ruhr university bochum

26H指数

267论文数

2.2K被引数

收录论文 7

发表时间

Shields for Safe Reinforcement Learning

COMMUNICATIONS OF THE ACM

IF12.2

2025-11-01

PREAI

Konighofer, Bettina; Bloem, Roderick; Jansen, Nils; Junges, Sebastian; Pranger, Stefan

Convex Optimization for Parameter Synthesis in MDPs

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2022-12-01

OAAI

Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk

Control Theory Meets POMDPs: A Hybrid Systems Approach

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2021-11-01

OAAI

Ahmadi, Mohamadreza; Jansen, Nils; Wu, Bo; Topcu, Ufuk

Formalizing and Guaranteeing Human-Robot Interaction

COMMUNICATIONS OF THE ACM

IF12.2

2021-08-24

OAAI

Kress-Gazit, Hadas; Eder, Kerstin; Hoffman, Guy; Admoni, Henny; Argall, Brenna; Ehlers, Rudiger; Heckman, Christoffer; Jansen, Nils; Knepper, Ross; Kretinsky, Jan; Levy-Tzedek, Shelly; Li, Jamy; Murphey, Todd; Riek, Laurel; Sadigh, Dorsa

Synthesis of Provably Correct Autonomy Protocols for Shared Control

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2021-07-01

OAAI

Cubuktepe, Murat; Jansen, Nils; Alshiekh, Mohammed; Topcu, Ufuk

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids

nasa formal methods (nfm

IF0

2021-05-19

OAAI

Badings, Thom S.; Hartmanns, Arnd; Jansen, Nils; Suilen, Marnix

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2021-03-01

OAAI

Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd

研究方向