A Maude-with-SMT framework for sound and complete formal analysis and parameter synthesis of parametric time Petri nets, including a folding approach that terminates on finite parametric state-class graphs and support for LTL model checking.
Generalized rewrite theories, coherence completion, and symbolic methods
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
A physics-guided ML framework infers CO concentration from resistance transients in a mixed-phase SnO-SnO2 sensor, showing p-type regime favors classification while n-type favors regression.
citing papers explorer
-
Physics-Guided Concentration Inference from Resistance Transients in a Mixed-Phase SnO-SnO$_2$ Carbon Monoxide Sensor with p-n Switching
A physics-guided ML framework infers CO concentration from resistance transients in a mixed-phase SnO-SnO2 sensor, showing p-type regime favors classification while n-type favors regression.