◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

P. Garoche

10 papers hereh-index 221.7k citations156 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1
  • middle author6
  • last author2

Across the 9 of 10 papers where every author was matched, so the position is known.

fields
  • cs.LO4
  • cs.CL2
  • math.OC2
  • cond-mat.mtrl-sci1
  • cs.GT1

identity via Semantic Scholar / OpenAlex

activity
20062022
most citedHierarchical State Machines as Modular Horn Clauses

8 citations · 19 across the 6 of their papers we have counts for

collaborators
Showing 2020Show all

2 papers · 1 filter

cs.CL2020

Verification and Validation of Convex Optimization Algorithms for Model Predictive Control

Raphaël Cohen, Eric Féron, Pierre-Loïc Garoche

Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms…

cs.GT2020

Bounding Fixed Points of Set-Based Bellman Operator and Nash Equilibria of Stochastic Games

Sarah H. Q. Li, Assalé, Adjé +2

Motivated by uncertain parameters encountered in Markov decision processes (MDPs) and stochastic games, we study the effect of parameter uncertainty on Bellman operator-based algor…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.