Zobrazeno 1 - 10
of 582
pro vyhledávání: '"Sato, Sota"'
We present a bounded model checking algorithm for signal temporal logic (STL) that exploits mixed-integer linear programming (MILP). A key technical element is our novel MILP encoding of the STL semantics; it follows the idea of stable partitioning f
Externí odkaz:
http://arxiv.org/abs/2408.06983
Autor:
Reimann, Jesse, Mansion, Nico, Haydon, James, Bray, Benjamin, Chattopadhyay, Agnishom, Sato, Sota, Waga, Masaki, André, Étienne, Hasuo, Ichiro, Ueda, Naoki, Yokoyama, Yosuke
As the development of autonomous vehicles progresses, efficient safety assurance methods become increasingly necessary. Safety assurance methods such as monitoring and scenario-based testing call for formalisation of driving scenarios. In this paper,
Externí odkaz:
http://arxiv.org/abs/2403.18764
Autor:
Aoki, Katsuki, Noumi, Toshifumi, Saito, Ryo, Sato, Sota, Shirai, Satoshi, Tokuda, Junsei, Yamazaki, Masahito
Publikováno v:
Phys. Rev. D 110, 016002 (2024)
The gravitational positivity bound gives quantitative "swampland'' constraints on low-energy effective theories inside theories of quantum gravity. We give a comprehensive discussion of this bound for those interested in applications to phenomenologi
Externí odkaz:
http://arxiv.org/abs/2305.10058
Autor:
Sato, Sota, Matsumoto, Toshiki, Nakano, Yuichiro, Ishihara, Jun, Miyamoto, Katsuhiko, Omatsu, Takashige, Morita, Ken
Using the similarity between spin states on the Bloch sphere (BS) and polarization states on the Poincare sphere (PS), we construct higher-order spin states on the higher-order BS corresponding to higher-order polarization states of photons on the hi
Externí odkaz:
http://arxiv.org/abs/2301.08024
Autor:
Ishihara, Jun, Mori, Takachika, Suzuki, Takuya, Sato, Sota, Morita, Ken, Kohda, Makoto, Ohno, Yuzo, Miyajima, Kensuke
Publikováno v:
Phys. Rev. Lett. 130, 126701 (2023)
We present the transfer of the spatially variant polarization of topologically structured light to the spatial spin texture in a semiconductor quantum well. The electron spin texture, which is a circular pattern with repeating spin-up and spin-down s
Externí odkaz:
http://arxiv.org/abs/2209.12496
Phenomenological Motivation for Gravitational Positivity Bounds: A Case Study of Dark Sector Physics
Positivity bounds on scattering amplitudes provide a necessary condition for a low-energy effective field theory to have a consistent ultraviolet completion. Their extension to gravity theories has been studied in the past years aiming at application
Externí odkaz:
http://arxiv.org/abs/2205.12835
A Merkle tree is a data structure for representing a key-value store as a tree. Each node of a Merkle tree is equipped with a hash value computed from those of their descendants. A Merkle tree is often used for representing a state of a blockchain sy
Externí odkaz:
http://arxiv.org/abs/2106.04826
The synthesis problem of a cyber-physical system (CPS) is to find an input signal under which the system's behavior satisfies a given specification. Our setting is that the specification is a formula of signal temporal logic, and furthermore, that th
Externí odkaz:
http://arxiv.org/abs/2012.00319
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.