◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

M. Bozga

18 papers hereh-index 406k citations209 works total

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

author position
  • first author13
  • middle author2
  • last author2

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

fields
  • cs.LO7
  • cs.FL3
  • cs.MA3
  • cs.SE2
  • cs.CC1
  • cs.CR1

identity via Semantic Scholar / OpenAlex

activity
20132024
most citedDeciding Conditional Termination

9 citations · 26 across the 15 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.MA2024

Compositionally Safe Construction of Autonomous Driving Systems

Marius Bozga, Joseph Sifakis

Developing safe autonomous driving systems is a major scientific and technical challenge. Existing AI-based end-to-end solutions do not offer the necessary safety guarantees, while…

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