Gerardo Schneider

University of Gothenburg, Chalmers University of Technology

论文数

5

总引用数

46

H-Index

4

关于

暂无简介。

研究焦点

Computer science5 · 46 次引用
Programming language4 · 30 次引用
Artificial intelligence3 · 25 次引用
Reinforcement learning2 · 23 次引用
Formal verification3 · 23 次引用
Machine learning1 · 16 次引用
Human–computer interaction1 · 16 次引用
Multi-agent system1 · 16 次引用
Exploit1 · 16 次引用
Engineering2 · 16 次引用
Context (archaeology)1 · 16 次引用
Computer security1 · 16 次引用

主要成就

4
H 指数
5
论文
46
总引用数
9
篇均引用
🏆 最高被引论文
A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments
16 次引用 · 2019
📈 最高产年份: 2019 (1 论文)
🤝 主要合作者: 11
🏛 所属机构: University of Gothenburg, Chalmers University of Technology

代表论文

  1. 1
    A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments
    16 次引用 · 2019
  2. 2
    Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions
    14 次引用 · 2021
  3. 3
    CROME: Contract-Based Robotic Mission Specification
    7 次引用 · 2020
  4. 4
    MoVEMo: A Structured Approach for Engineering Reward Functions
    7 次引用 · 2018
  5. 5
    Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification
    2 次引用 · 2022

主要合作者

PMPiergiuseppe Mallozzi3 篇合著论文PPPatrizio Pelliccione3 篇合著论文CSCésar Sánchez2 篇合著论文SZSebastián Zudaire2 篇合著论文FGFelipe Gorostiaga2 篇合著论文SUSebastián Uchitel2 篇合著论文PNPierluigi Nuzzo1 篇合著论文VDVincent Duplessis1 篇合著论文KTKenji Tei1 篇合著论文RPRaúl Pardo1 篇合著论文ECEzequiel Castellano1 篇合著论文
尚未生成