6 papers
HuMBLE: Human Motion-Driven Behavior Learning for Embodied Locomotion
Mike Zhang, Dongho Kang, Kevin Bergamin +19
Despite recent advances in humanoid locomotion, controllers optimized for command tracking and robustness tend to produce mechanical gaits, whereas controllers tied to human motion…
Testing and Verification of Quantum Compilers through Assurance Contracts and Evidence
Furqan Nasir, Muhammad Arif Shah, Iftikhar Alam
Quantum compiler assurance requires a semantic relation that matches the intended use and observations that can expose violations at the delivered interface. This critical integrat…
A Leakage-Safe, Cost-Aware Regression Testing Methodology for the Quantum Transpiler
Furqan Nasir, Muhammad Arif Shah, Ifitkhar Alam
Quantum SDKs such as Qiskit are revised continually, and a single transpiler-pass change can introduce a software regression, so continuous integration (CI) must select and priorit…
Fault-Class-Matched Test Oracles for Output-Invisible Quantum Transpiler Regressions
Furqan Nasir, Arif Shah, Iftikhar Alam
Test oracles for quantum transpilers typically judge correctness by comparing compiled output against a reference: a statevector, a sampled distribution, or a unitary compared modu…
What Output-Equivalence Oracles Miss: An Empirical Study of Equivalence-Invisible Bug Fixes in Quantum Transpilers
Furqan Nasir, Arif Shah, Iftikhar Alam
Quantum compilers face the test oracle problem, judged by an output-equivalence oracle: the compiled circuit must compute the same unitary as the original, modulo global phase and…
OntoKG-EQ: Evidence-boundary auditing for analytical knowledge graphs
Furqan Nasir, Muhammad Atif Saeed, Muhammad Ehsan +2
An analytical knowledge-graph result can be supported in its ambient graph while its delivered explanation omits deciding observations. OntoKG-EQ connects competency-question requi…