Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Oliver Schön, Zhengang Zhong, Sadegh Soudjani |
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Juspreet Singh Sandhu, Jonathan Shi |
A Sum-of-Squares Hierarchy in the Absence of Pointwise Proofs I: Energy Certificates. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Elisabeth Gaar, Melanie Siebenhofer |
Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Maria M. Davis, Dávid Papp |
Rational dual certificates for weighted sums-of-squares polynomials with boundable bit size. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Shixiong Yao, Pei Li, Jing Chen, Yuexing Zeng, Jiageng Chen, Donghui Wang |
CD-BCM:Cross-Domain Batch Certificates Management Based On Blockchain. |
Comput. J. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Alaa Ibrahim, Bruno Salvy |
Positivity Certificates for Linear Recurrences. |
SODA |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Omid Akbarzadeh, Abolfazl Lavaei |
Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck |
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
Closure Certificates. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Augusto Giron, Frederico Schardong, Lucas Pandolfo Perin, Ricardo Custódio, Victor Valle, Víctor Mateu |
Automated Issuance of Post-Quantum Certificates: A New Challenge. |
ACNS (2) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Amit Jena, Dileep Kalathil, Le Xie |
Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Alireza Nadali, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
Neural Closure Certificates. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Sisi Duan, Haibin Zhang, Xiao Sui, Baohan Huang, Changchun Mu, Gang Di, Xiaoyun Wang |
Dashing and Star: Byzantine Fault Tolerance with Weak Certificates. |
EuroSys |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Ameneh Nejati, Majid Zamani 0001 |
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates. |
IEEE Control. Syst. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Laura Menini, Corrado Possieri, Antonio Tornambè |
Exact Certificates for Strong Stabilization via Numerical Algebraic Geometry. |
IEEE Control. Syst. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Luigi Russo, Siddharth H. Nair, Luigi Glielmo, Francesco Borrelli |
Learning for Online Mixed-Integer Model Predictive Control With Parametric Optimality Certificates. |
IEEE Control. Syst. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zhengyao Lin, Xiaohong Chen 0002, Minh-Thai Trinh, John Wang, Grigore Rosu |
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Fernanda Molina, Gustavo Betarte, Carlos Luna 0001 |
A Blockchain based and GDPR-compliant design of a system for digital education certificates. |
CLEI Electron. J. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Elisa Tsai, Deepak Kumar, Ram Sundara Raman, Gavin Li, Yael Eiger, Roya Ensafi |
CERTainty: Detecting DNS Manipulation at Scale using TLS Certificates. |
Proc. Priv. Enhancing Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Abba Garba, David J. Khoury, Patrick Balian, Samir Haddad, Jinane Sayah, Zhong Chen 0001, Zhi Guan, Hani Hamdan, Jinan Charafeddine, Khalid Al Mutib |
LightCert4IoTs: Blockchain-Based Lightweight Certificates Authentication for IoT Applications. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Manisha Malik, Kamaldeep, Maitreyee Dutta, Jorge Granjal |
L-ECQV: Lightweight ECQV Implicit Certificates for Authentication in the Internet of Things. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Raúl Jaime Maestre, Javier Bermejo Higuera, Nadia Gámez Gómez, Juan Ramón Bermejo Higuera, Juan Antonio Sicilia Montalvo, Lara Orcos Palma |
The application of blockchain algorithms to the management of education certificates. |
Evol. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Toshiyuki Oshima, Shunya Yamashita, Junya Yamauchi, Tatsuya Ibuki, Michio Seto, Takeshi Hatanaka |
Loop-shaped distributed learning of an object with data-independent performance certificates. |
Adv. Robotics |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jens Friess, Haya Schulmann, Michael Waidner |
Revocation Speedrun: How the WebPKI Copes with Fraudulent Certificates. |
PACMNET |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tao Jin, Jian Di, Xinghu Wang, Haibo Ji |
Safety Barrier Certificates for Path Integral Control: Safety-Critical Control of Quadrotors. |
IEEE Robotics Autom. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Riccardo Bertollo, Andrew R. Teel, Luca Zaccarian |
Soft-Reset Control With Max-of-Quadratics Lyapunov Certificates. |
IEEE Trans. Autom. Control. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Charles Dawson 0001, Sicun Gao, Chuchu Fan |
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control. |
IEEE Trans. Robotics |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Nilanjan Roy Chowdhury, Dmitry Baimel, Juri Belikov, Yoash Levron |
A Generalized Control Paradigm for Storage Systems: Optimal Energy Management and Stability Certificates. |
IEEE Trans. Control. Syst. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang |
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning. |
ACM Trans. Embed. Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | T. J. Meijer, Victor S. Dolk, W. P. Maurice H. Heemels |
Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Luigi Russo, Siddharth H. Nair, Luigi Glielmo, Francesco Borrelli |
Learning for Online Mixed-Integer Model Predictive Control with Parametric Optimality Certificates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Capone, Ryan K. Cosner, Aaron D. Ames, Sandra Hirche |
Safe Online Dynamics Learning with Initially Unknown Models and Infeasible Safety Certificates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Apoorva Sharma, Sushant Veer, Asher Hancock, Heng Yang, Marco Pavone 0001, Anirudha Majumdar |
PAC-Bayes Generalization Certificates for Learned Inductive Conformal Prediction. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Kambiz Behfar, Jon Crowcroft |
Architecture of Smart Certificates for Web3 Applications Against Cyberthreats in Financial Industry. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Winkler, Joost-Pieter Katoen |
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yan Scholten, Jan Schuchardt, Simon Geisler, Aleksandar Bojchevski, Stephan Günnemann |
Randomized Message-Interception Smoothing: Gray-box Certificates for Graph Neural Networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Elisa Tsai, Deepak Kumar, Ram Sundara Raman, Gavin Li, Yael Eiger, Roya Ensafi |
CERTainty: Detecting DNS Manipulation at Scale using TLS Certificates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Winkler, Joost-Pieter Katoen |
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jan Schuchardt, Aleksandar Bojchevski, Johannes Gasteiger, Stephan Günnemann |
Collective Robustness Certificates: Exploiting Interdependence in Graph Neural Networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Kauers, Christoph Koutschan, Thibaut Verron |
Transcendence Certificates for D-finite Functions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Pierre Osselin, Henry Kenlay, Xiaowen Dong 0001 |
Structure-Aware Robustness Certificates for Graph Classification. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Adrian Dumitrescu |
Two-sided convexity testing with certificates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Abel C. H. Chen |
The Pseudonymous Certificates for Healthcare Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Fernando Granha Jeronimo, Shashank Srivastava, Madhur Tulsiani |
List Decoding of Tanner and Expander Amplified Codes from Distance Certificates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alaa Ibrahim, Bruno Salvy |
Positivity certificates for linear recurrences. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
Closure Certificates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan |
Compositional Neural Certificates for Networked Dynamical Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Fikret Basic, Christian Steger, Robert Kofler |
Establishing Dynamic Secure Sessions for ECQV Implicit Certificates in Embedded Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Runtian Zhou, Haoze Wu 0001, Hammurabi Mendes, Jonad Pulaj |
Verifying MILP Certificates with SMT Solvers. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei |
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Amit Jena, Dileep Kalathil, Le Xie |
Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yanze Zhang, Yupeng Yang, Wenhao Luo |
Occlusion-Free Image Based Visual Servoing using Probabilistic Control Barrier Certificates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Gaspard Beugnot, Julien Mairal, Alessandro Rudi |
GloptiNets: Scalable Non-Convex Optimization with Certificates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sandro Rodriguez Garzon, Hai Dinh-Tuan, Maria Mora-Martinez, Axel Küpper, Hans Joachim Einsiedler, Daniela Schneider |
Beyond Certificates: 6G-ready Access Control for the Service-Based Architecture with Decentralized Identifiers and Verifiable Credentials. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Chenxi Yang, Greg Anderson 0003, Swarat Chaudhuri |
Policy Optimization with Robustness Certificates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Marco Lewis, Paolo Zuliani, Sadegh Soudjani |
Verification of Quantum Systems using Barrier Certificates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds 0001, Cesare Tinelli, Yoni Zohar |
Generating and Exploiting Automated Reasoning Proof Certificates. |
Commun. ACM |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jim Schaad |
CBOR Object Signing and Encryption (COSE): Header Parameters for Carrying and Referencing X.509 Certificates. |
RFC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Santesson, Russ Housley, Trevor Freeman, Leonard Rosenthol |
Internet X.509 Public Key Infrastructure: Logotypes in X.509 Certificates. |
RFC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Archana Yashodip Chaudhari, Preeti Mulay, Ayushi Agarwal, Krithika Iyer, Saloni Sarbhai |
Text document learning using distributed incremental clustering algorithm: educational certificates. |
Int. J. Bus. Intell. Data Min. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jerzy Pejas, Tomasz Hyla, Wojciech Zabierowski |
Revocable Signature Scheme with Implicit and Explicit Certificates. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Augusto Giron, Frederico Schardong, Lucas Pandolfo Perin, Ricardo Custódio, Victor Valle, Víctor Mateu |
Automated Issuance of Post-Quantum Certificates: a New Challenge. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
15 | Maryam Sharifi, Dimos V. Dimarogonas |
Higher Order Barrier Certificates for Leader-Follower Multiagent Systems. |
IEEE Trans. Control. Netw. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | João Gouveia, Antonio Macchia, Amy Wiebe |
General non-realizability certificates for spheres with linear programming. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Victor Magron, Jie Wang 0037 |
SONC optimization and exact nonnegativity certificates via second-order cone programming. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | María A. Baamonde-Seoane, María del Carmen Calvo-Garrido, Carlos Vázquez 0002 |
Pricing renewable energy certificates with a Crank-Nicolson Lagrange-Galerkin numerical method. |
J. Comput. Appl. Math. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Nina Bindel, Sarah McCarthy |
The Need for Being Explicit: Failed Attempts to Construct Implicit Certificates from Lattices. |
Comput. J. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Winkler, Joost-Pieter Katoen |
ARTIFACT EVALUATION FOR TACAS '23 SUBMISSION 103: "Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration". |
|
2023 |
DOI RDF |
|
15 | Antonio Javier Cabrera Gutiérrez, Encarnación Castillo, Antonio Escobar-Molero, Diego Pedro Morales, Luis Parrilla 0001 |
Blockchain-based implementation of Tradable Green Certificates. |
PRIME |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Syed Muhammad Farhan, Taejoong Chung |
Exploring the Evolution of TLS Certificates. |
PAM |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mounirah Djam-Doudou, Ado Adamou Abba Ari, Hortense Boudjou Tchapgnouo, Abdelhak Mourad Guéroui, Alidou Mohamadou, Nabila Labraoui, Ousmane Thiare |
A Lightweight Authenticated Key Agreement Scheme for Resource-Constrained Devices Based on Implicit Certificates and Finite Graphs. |
SAFER-TEA |
2023 |
DBLP DOI BibTeX RDF |
|
15 | David A. Cordova Morales, Ahmad Samer Wazan, David W. Chadwick, Romain Laborde, April Rains Reyes Maramara, Kalil Cabral |
Enhancing the ACME Protocol to Automate the Management of All X.509 Web Certificates. |
SEC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shachar Lovett, Jiapeng Zhang |
Fractional Certificates for Bounded Functions. |
ITCS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yuki Ishida, Masaki Hanada, Atsushi Waseda, Moo Wan Kim |
Analysis of DNS Graph of Phishing Websites Using Digital Certificates. |
ICACT |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Takahito Yoshizawa, Bart Preneel |
Post-Quantum Impacts on V2X Certificates - Already at The End of The Road. |
VTC2023-Spring |
2023 |
DBLP DOI BibTeX RDF |
|
15 | David Hasselquist, Ludvig Bolin, Emil Carlsson, Adam Hylander, Martin Larsson, Erik Voldstad, Niklas Carlsson |
Longitudinal Analysis of Wildcard Certificates in the WebPKI. |
IFIP Networking |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Fikret Basic, Christian Steger, Robert Kofler |
Establishing Dynamic Secure Sessions for ECQV Implicit Certificates in Embedded Systems. |
DATE |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Marco Lewis, Paolo Zuliani, Sadegh Soudjani |
Verification of Quantum Systems Using Barrier Certificates. |
QEST |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Anja Lorenz, Stefanie Bock, Juleka Schulte-Ostermann |
Challenges and Proposals for Introducing Digital Certificates in Higher Education Infrastructures. |
EMOOCs |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Winkler, Joost-Pieter Katoen |
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Fernando Granha Jeronimo, Shashank Srivastava, Madhur Tulsiani |
List Decoding of Tanner and Expander Amplified Codes from Distance Certificates. |
FOCS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Pierre Osselin, Henry Kenlay, Xiaowen Dong 0001 |
Structure-aware robustness certificates for graph classification. |
UAI |
2023 |
DBLP BibTeX RDF |
|
15 | Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers |
Characterization of the ordering of path-complete stability certificates with addition-closed templates. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Luyao Niu, Andrew Clark 0001, Radha Poovendran |
Necessary and Sufficient Conditions for Satisfying Linear Temporal Logic Constraints Using Control Barrier Certificates. |
CDC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alireza Nadali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
Transfer Learning for Barrier Certificates. |
CDC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Mauroy, Aivar Sootla |
Estimation of Regions of Attraction with Formal Certificates in a Purely Data-Driven Setting. |
CDC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Dañiel Gerhardt, Alexander Ponticello, Adrian Dabrowski, Katharina Krombholz |
Investigating Verification Behavior and Perceptions of Visual Digital Certificates. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
15 | Nariyoshi Yamai, Yong Jin, Toshio Murakami, Rei Nakagawa |
Verification Method of Associated Domain Names Using Certificates by Applying DNS over TLS to Authoritative Servers. |
COMPSAC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Toshio Murakami, Kenta Shimabukuro, Nao Sato, Rei Nakagawa, Yong Jin, Nariyoshi Yamai |
Trustworthy Name Resolution Using TLS Certificates with DoT-enabled Authoritative DNS Servers. |
COMPSAC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Huiqing Wan, Qiongxiao Wang, Cunqing Ma, Yajun Teng, Jingqiang Lin, Dingfeng Ye |
ESCORT: Efficient Status Check and Revocation Transparency for Linkage-Based Pseudonym Certificates in VANETs. |
ISCC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Aozhuo Sun, Bingyu Li, Qiongxiao Wang, Huiqing Wan, Jingqiang Lin, Wei Wang 0314 |
Semi-CT: Certificates Transparent to Identity Owners but Opaque to Snoopers. |
ISCC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kyaw Hein, Dominique Bertin, Justine Yuan, Huajun Zhang 0008, Victor Maquart, Edouard Lavillonniere |
Optimal Operation of Green Hydrogen Generation Plant with Solar PV, Renewable Energy Certificates and Virtual Battery Ledger. |
IECON |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Maryam Sharifi, Dimos V. Dimarogonas |
Platoons Coordination Based on Decentralized Higher Order Barrier Certificates. |
MED |
2023 |
DBLP DOI BibTeX RDF |
|
15 | John F. Ingham, Yujiang Wang 0002, Paolo Zuliani, Sadegh Soudjani |
Barrier Certificates for a Computational Model of Epileptic Seizures. |
SMC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic |
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. |
TACAS (1) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Winkler, Joost-Pieter Katoen |
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. |
TACAS (2) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Huiqing Wan, Qiongxiao Wang, Yajun Teng, Cunqing Ma, Jingqiang Lin, Mingyu Wang |
ImCT: A Feasible Scheme for Deploying Implicit Certificates with Certificate Transparency in IoT. |
ICCCN |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Pascal Moriggl, Petra Maria Asprion, Bettina Schneider, Christopher Scherb |
Touching Space: Distributed Ledger Technology for Tracking and Tracing Certificates. |
HICSS |
2023 |
DBLP BibTeX RDF |
|
15 | Zhuoqun Huang, Neil G. Marchant, Keane Lucas, Lujo Bauer, Olga Ohrimenko, Benjamin I. P. Rubinstein |
RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|