agentic AI 1defect clustering 1dopant activation 1governance 1ion implantation 1molecular dynamics 1orchestration 1quality of service 1service composition 1silicon carbide 1trustworthiness 1
From the 2 of 48 papers with an AI index.
17 citations
- University of VirginiaUS11 papers
- Beihang UniversityCN10 papers
- Centre National de la Recherche ScientifiqueFR10 papers
- European Organization for Nuclear ResearchCH10 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ10 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di FirenzeIT10 papers
- LIP - Laboratory of Instrumentation and Experimental Particle PhysicsPT10 papers
- Massachusetts Institute of TechnologyUS10 papers
- Peking UniversityCN10 papers
- Rice UniversityUS10 papers
- RWTH Aachen UniversityDE10 papers
- Sejong UniversityKR10 papers
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2026
Robust Classification in ML: A Topological Semantics Approach
Dominik Pichler, Mirko Tagliaferri
Robust classification is commonly understood as the stability of a classifier under small perturbations (often adversarial) of input data. In this paper, we propose a logical frame…