Gerardo Schneider

University of Gothenburg, Chalmers University of Technology

Papers

5

Total Citations

46

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
5
Papers
46
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments
16 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 11
🏛 Institutions: University of Gothenburg, Chalmers University of Technology

Top Papers

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

Key Collaborators

PMPiergiuseppe Mallozzi3 shared papersPPPatrizio Pelliccione3 shared papersCSCésar Sánchez2 shared papersSZSebastián Zudaire2 shared papersFGFelipe Gorostiaga2 shared papersSUSebastián Uchitel2 shared papersPNPierluigi Nuzzo1 shared papersVDVincent Duplessis1 shared papersKTKenji Tei1 shared papersRPRaúl Pardo1 shared papersECEzequiel Castellano1 shared papers
Not generated yet