logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
N

Nils Jansen

ruhr university bochum

26H-index
267Paper Count
2.2KCitation Count
Published Papers 7
Publication Date
logo
Shields for Safe Reinforcement Learning
errCOMMUNICATIONS OF THE ACM
IF12.2
err2025-11-01
err0
PREAI
errKonighofer, Bettina; Bloem, Roderick; Jansen, Nils; Junges, Sebastian; Pranger, Stefan
errShare
errSave
Convex Optimization for Parameter Synthesis in MDPs
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-12-01
err8
errOAAI
errCubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk
errShare
errSave
Control Theory Meets POMDPs: A Hybrid Systems Approach
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-11-01
err2
errOAAI
errAhmadi, Mohamadreza; Jansen, Nils; Wu, Bo; Topcu, Ufuk
errShare
errSave
Formalizing and Guaranteeing Human-Robot Interaction
errCOMMUNICATIONS OF THE ACM
IF12.2
err2021-08-24
err22
errOAAI
errKress-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
errShare
errSave
Synthesis of Provably Correct Autonomy Protocols for Shared Control
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-07-01
err1
errOAAI
errCubuktepe, Murat; Jansen, Nils; Alshiekh, Mohammed; Topcu, Ufuk
errShare
errSave
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids
errnasa formal methods (nfm
IF0
err2021-05-19
err2
errOAAI
errBadings, Thom S.; Hartmanns, Arnd; Jansen, Nils; Suilen, Marnix
errShare
errSave
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-03-01
err6
errOAAI
errWinterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
J
Joost-Pieter Katoen
H-index: 58 · Papers: 636
U
Ufuk Topcu
H-index: 46 · Papers: 663
R
Roderick Bloem
H-index: 44 · Papers: 241
G
Guy Hoffman
H-index: 41 · Papers: 169
D
Dorsa Sadigh
H-index: 39 · Papers: 282
View more