Search for persons
X
?
2024 IEEE Intelligent Vehicles Symposium (IV) ,
1
Goal-Aware RSS for Complex Scenarios via Program Logic:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
4
Learning Nonlinear Hybrid Automata from Input–Output Time-S..:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
5
Formalizing Statistical Causality via Modal Logic:
, In:
?
Computer Vision – ACCV 2022; Lecture Notes in Computer Science ,
8
BOREx: Bayesian-Optimization-Based Refinement of Saliency M..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
9
The Lattice-Theoretic Essence of Property Directed Reachabi..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
11
Oblivious Online Monitoring for Safety LTL Specification vi..:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
12
Efficient Black-Box Checking via Model Checking with Streng..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
13
Helmholtz: A Verifier for Tezos Smart Contracts Based on Re..:
, In:
?
Computer Vision – ACCV 2020; Lecture Notes in Computer Science ,
14
Visualizing Color-Wise Saliency of Black-Box Image Classifi..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
15