Codensity Games for Bisimilarity von Komorida, Yuichi, Katsumata, Shin-ya, Hu, Nick, Klin, Bartek, Humeau, Samuel, Eberhart, Clovis, Hasuo, Ichiro

Volltext

Goal-Aware RSS for Complex Scenarios via Program Logic von Hasuo, Ichiro, Eberhart, Clovis, Haydon, James, Dubut, Jeremy, Bohrer, Rose, Kobayashi, Tsutomu, Pruekprasert, Sasinee, Zhang, Xiao-Yi, Pallas, Erik Andre, Yamada, Akihisa, Suenaga, Kohei, Ishikawa, Fuyuki, Kamijo, Kenji, Shinya, Yoshiyuki, Suetomi, Takamasa

Volltext

Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis von Pruekprasert, Sasinee, Dubut, Jeremy, Takisaka, Toru, Eberhart, Clovis, Cetinkaya, Ahmet

Volltext

Fibred pseudo double categories for game semantics von Eberhart, Clovis, Hirschowitz, Tom

Volltext

A Compositional Approach to Parity Games von Watanabe, Kazuki, Eberhart, Clovis, Asada, Kazuyuki, Hasuo, Ichiro

Volltext

A Compositional Framework for Petri Nets von Lechenne, Serge, Eberhart, Clovis, Hasuo, Ichiro

Volltext

Catégories et diagrammes de cordes pour les jeux concurrents von Eberhart, Clovis

Volltext bestellen

Architecture-Guided Test Resource Allocation via Logic von Eberhart, Clovis, Yamada, Akihisa, Klikovits, Stefan, Katsumata, Shin-ya, Kobayashi, Tsutomu, Hasuo, Ichiro, Ishikawa, Fuyuki

Volltext

Formal Verification of Safety Architectures for Automated Driving von Eberhart, Clovis, Dubut, Jérémy, Haydon, James, Hasuo, Ichiro

Volltext

Formal Verification of Intersection Safety for Automated Driving von Haydon, James, Bondu, Martin, Eberhart, Clovis, Dubut, Jérémy, Hasuo, Ichiro

Volltext bestellen

Compositional Probabilistic Model Checking with String Diagrams of MDPs von Watanabe, Kazuki, Eberhart, Clovis, Asada, Kazuyuki, Hasuo, Ichiro

Volltext bestellen

What's in a game? A theory of game models von Eberhart, Clovis, Hirschowitz, Tom

Volltext bestellen

Moment Propagation of Polynomial Systems Through Carleman Linearization for Probabilistic Safety Analysis von Pruekprasert, Sasinee, Dubut, Jérémy, Takisaka, Toru, Eberhart, Clovis, Cetinkaya, Ahmet

Volltext bestellen

A Compositional Approach to Parity Games von Watanabe, Kazuki, Eberhart, Clovis, Asada, Kazuyuki, Hasuo, Ichiro

Volltext

Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization von Pruekprasert, Sasinee, Takisaka, Toru, Eberhart, Clovis, Cetinkaya, Ahmet, Dubut, Jérémy

Volltext

Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications von Pruekprasert, Sasinee, Eberhart, Clovis, Dubut, Jérémy

Volltext

Formal Verification of Intersection Safety for Automated Driving von Haydon, James, Bondu, Martin, Eberhart, Clovis, Dubut, Jérémy, Hasuo, Ichiro

Volltext

Compositional Probabilistic Model Checking with String Diagrams of MDPs von Watanabe, Kazuki, Eberhart, Clovis, Asada, Kazuyuki, Hasuo, Ichiro

Volltext

Compositional Solution of Mean Payoff Games by String Diagrams von Watanabe, Kazuki, Eberhart, Clovis, Asada, Kazuyuki, Hasuo, Ichiro

Volltext

An intensionally fully-abstract sheaf model for $\pi$ (expanded version) von Eberhart, Clovis, Hirschowitz, Tom, Seiller, Thomas

Volltext bestellen