2 papers
cs.LO2026
STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
Marco Zamponi, Florian Lammel, Ezio Bartocci +1
Signal Temporal Logic (STL) is a formalism used to describe temporal properties of real-valued signals in cyber-physical systems. In mission- and safety-critical domains, specifica…
quant-ph2026
Optimizing magnetic coupling in lumped element superconducting resonators for molecular spin qubits
Marcos RubÃn-Osanz, David Rodriguez, Ignacio Gimeno +18
We engineer lumped-element superconducting resonators that maximize magnetic coupling to molecular spin qubits, achieving record single-spin couplings up to kHz and collectiv…