C

Carl Trimbach Source Confirmed

Affiliation confirmed via AI analysis of OpenAlex, ORCID, and web sources.

Researcher

John Brown University

unknown

2 h-index 5 pubs 19 cited

Research Areas

Reinforcement Learning in Robotics Machine Learning and Algorithms Formal Methods in Verification Multi-Agent Systems and Negotiation Natural Language Processing Techniques

Is this your profile? Verify and claim your profile

OverviewAI-generated summary

Dr. Carl Trimbach's research encompasses a diverse set of topics within artificial intelligence, including reinforcement learning for robotics, machine learning algorithms, formal verification methods, multi-agent systems, negotiation strategies, and natural language processing techniques. His work explores the intersection of theoretical frameworks and practical applications in complex computational environments. Trimbach's recent work focuses on using specialized neural operators to learn Finite Linear Temporal Logic specifications.

Metrics

h-index: 2
Publications: 5
Citations: 19

Selected Publications

Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator (2021) DOI

Collaborators

Researchers in the database who share publications

Michael L. Littman John Brown University 2 shared publications

Similar Researchers

Based on overlapping research topics

Ifrah Idrees John Brown University

Reinforcement Learning in Robotics Machine Learning and Algorithms Natural Language Processing Techniques

Michael L. Littman John Brown University

Reinforcement Learning in Robotics Machine Learning and Algorithms

Robert Givan John Brown University

Reinforcement Learning in Robotics Formal Methods in Verification

Mark Goadrich Hendrix College

Reinforcement Learning in Robotics Natural Language Processing Techniques

Benjamin Schornstein John Brown University

Formal Methods in Verification Natural Language Processing Techniques

Eric Rosen John Brown University

Reinforcement Learning in Robotics Natural Language Processing Techniques