Copertina

Artifact to IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autori principali:	wu, ziji, huang, yu, huang, peishan, li, minglong, wang, ji
Natura:	Recurso digital
Pubblicazione:	Zenodo 2025
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Eoneill29/CEA-anticoag: AC CEA
di: aw-huang
Pubblicazione: (2025)

Intelligent Anti-Money Laundering Detection Platform Based on Dynamic Graph Neural Networks
di: huang, hai
Pubblicazione: (2025)

One-Third of Crop Failures in China Attributed to Extreme Climate Events-code
di: huang, sy
Pubblicazione: (2025)

Does one CI-ze fit all? How Continuous Integration Performs in Different Contexts
di: huang, shujung
Pubblicazione: (2026)

A Deterministic Interpretation of Wavefunction Collapse via 3D Temporal Projection
di: huang, tsung-jen
Pubblicazione: (2026)

The HTJ Conjecture: Ellipticity Correction in Asymmetric Gravitational Lensing via 6D Spacetime and Prime Gain Resonance
di: huang, tsung jen
Pubblicazione: (2026)

A Deterministic Interpretation of Wavefunction Collapse via 3D Temporal Projection
di: huang, tsung-jen
Pubblicazione: (2026)

Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
di: Gagliardi, Hernan, et al.
Pubblicazione: (2025)

IncreRTL: Traceability-Guided Incremental RTL Generation under Requirement Evolution
di: Chen, Luanrong, et al.
Pubblicazione: (2026)

GR4CIL: Gap-compensated Routing for CLIP-based Class Incremental Learning
di: Wang, Tianqi, et al.
Pubblicazione: (2026)

GR-UHI_fact-sheet
di: Beber, Raniero, et al.
Pubblicazione: (2025)

GR-3 Technical Report
di: Cheang, Chilam, et al.
Pubblicazione: (2025)

DGLA Actions: An Application in GR
di: Grady, Ryan
Pubblicazione: (2025)

GR-Dexter Technical Report
di: Wen, Ruoshi, et al.
Pubblicazione: (2025)

More on the fact that Rastall = GR
di: Golovnev, Alexey
Pubblicazione: (2023)

Cut-Elimination for the Bimodal Logic GR
di: Kushida, Hirohiko
Pubblicazione: (2026)

Hint to Supersymmetry from GR Vacuum
di: Dvali, Gia, et al.
Pubblicazione: (2024)

On the choice of variable for quantization of conformal GR
di: Arbuzov, A. B., et al.
Pubblicazione: (2024)

Dynamic Localisation of Spatial-Temporal Graph Neural Network
di: Duan, Wenying, et al.
Pubblicazione: (2025)

The Early Career Workshop of GR-Amaldi 2025
di: Al-Shammari, S, et al.
Pubblicazione: (2025)

Revisiting Coincident GR in Internal STEGR Formulation
di: Tomonari, Kyosuke, et al.
Pubblicazione: (2025)

Comparison Table of TFD, Measurement Status, and GR
di: Wipfler, Karl Heinz
Pubblicazione: (2026)

Stationary solutions in the small-$c$ expansion of GR
di: Bal, Enes, et al.
Pubblicazione: (2026)

Gravitational Wave Memory in Beyond GR Theories
di: Gasparotto, Silvia
Pubblicazione: (2026)

GR as a classical spin-2 theory?
di: Linnemann, Niels, et al.
Pubblicazione: (2024)

Thin Accretion disks in GR-MHD simulations
di: Dihingia, Indu K., et al.
Pubblicazione: (2024)

Vector modes in Type 3 New GR
di: Golovnev, Alexey
Pubblicazione: (2026)

Interpreting deviations between AR-VTG and GR
di: Dale, Roberto, et al.
Pubblicazione: (2024)

Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
di: Georgescu, Tiberiu-Andrei, et al.
Pubblicazione: (2025)

GR00T N1: An Open Foundation Model for Generalist Humanoid Robots
di: NVIDIA, et al.
Pubblicazione: (2025)

ZeroGR: A Generalizable and Scalable Framework for Zero-Shot Generative Retrieval
di: Sun, Weiwei, et al.
Pubblicazione: (2025)

GFlowGR: Fine-tuning Generative Recommendation Frameworks with Generative Flow Networks
di: Wang, Yejing, et al.
Pubblicazione: (2025)

Adjoint L-Infinity Actions and Conserved Charges in GR
di: Choi, Changsun, et al.
Pubblicazione: (2025)

xGR: Efficient Generative Recommendation Serving at Scale
di: Sun, Qingxiao, et al.
Pubblicazione: (2025)

A conservative solution to the Singularity Problem in Classical GR
di: Bachhawat, Nikhil
Pubblicazione: (2025)

Black-Hole mimickers in GR and $f(R)$ gravity
di: García, Hodek M., et al.
Pubblicazione: (2026)

GR8 PL8S / Sam G. Riley
di: Riley, Sam G

Symmetric Teleparallel Connection and Spherical Solutions in Newer GR
di: Hohmann, Manuel, et al.
Pubblicazione: (2024)

GR-Athena++: magnetohydrodynamical evolution with dynamical space-time
di: Daszuta, Boris, et al.
Pubblicazione: (2024)

Relativity of the event: examples in JT gravity and linearized GR
di: Nitti, Francesco, et al.
Pubblicazione: (2024)