◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

R. Soulat

5 papers hereh-index 11354 citations49 works total

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

author position
  • middle author1
  • last author4

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

fields
  • cs.LO2
  • cs.DC1
  • cs.SE1
  • eess.SY1

identity via Semantic Scholar / OpenAlex

activity
20112022
most citedVerification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking

8 citations · 14 across the 5 of their papers we have counts for

collaborators
Showing 2011Show all

1 paper · 1 filter

cs.LO2011

Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems

Laurent Fribourg, Bertrand Revol, Romain Soulat

We consider here systems with piecewise linear dynamics that are periodically sampled with a given period τ . At each sampling time, the mode of the system, i.e., the parameters of…

◍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.