pith. sign in

Sota Sato

Identifiers

  • name variant Sota Sato 0.60 · backfill

Papers (8)

  1. Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications eess.SY · 2024 · author #1
  2. Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance cs.RO · 2024 · author #6
  3. Gravitational Positivity for Phenomenologists: Dark Gauge Boson in the Swampland hep-ph · 2023 · author #4
  4. Higher-order Bloch spheres: A generalized representation of electron spin states with azimuthal phase factor quant-ph · 2023 · author #1
  5. Imprinting spatial helicity structure of vector vortex beam on spin texture in semiconductors cond-mat.mes-hall · 2022 · author #4
  6. Phenomenological Motivation for Gravitational Positivity Bounds: A Case Study of Dark Sector Physics hep-th · 2022 · author #2
  7. Verification of a Merkle Patricia Tree Library Using F* cs.PL · 2021 · author #1
  8. Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis eess.SY · 2020 · author #1

Mentions

  • 2408.06983 #1 · arxiv_oai · confidence 0.70 Sota Sato
  • 2305.10058 #4 · arxiv_oai · confidence 0.70 Sota Sato
  • 2403.18764 #6 · arxiv_oai · confidence 0.70 Sota Sato
  • 2205.12835 #2 · arxiv_oai · confidence 0.70 Sota Sato
  • 2209.12496 #4 · arxiv_oai · confidence 0.70 Sota Sato
  • 2301.08024 #1 · arxiv_oai · confidence 0.70 Sota Sato
  • 2106.04826 #1 · arxiv_oai · confidence 0.70 Sota Sato
  • 2012.00319 #1 · arxiv_oai · confidence 0.70 Sota Sato

Frequent Coauthors