Old Web
English
Sign In
Acemap
>
authorDetail
>
Rajarshi Roy
Rajarshi Roy
Max Planck Society
Computer science
Recurrent neural network
Adversarial system
Machine learning
Artificial intelligence
5
Papers
4
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
2021
ATVA | Automated Technology for Verification and Analysis
Igor Khmelnitsky
Daniel Neider
Rajarshi Roy
Xuan Xie
Benoît Barbot
Benedikt Bollig
Alain Finkel
Serge Haddad
Martin Leucker
Lina Ye
Show All
Source
Cite
Save
Citations (0)
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach
2021
ATVA | Automated Technology for Verification and Analysis
Jean-Raphaël Gaglione
Daniel Neider
Rajarshi Roy
Ufuk Topcu
Zhe Xu
Show All
Source
Cite
Save
Citations (4)
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search
2021
Benoît Barbot
Benedikt Bollig
Alain Finkel
Serge Haddad
Igor Khmelnitsky
Martin Leucker
Daniel Neider
Rajarshi Roy
Lina Ye
Show All
Source
Cite
Save
Citations (0)
Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks.
2020
PKDD | European Conference on Principles of Data Mining and Knowledge Discovery
Benedikt Böing
Rajarshi Roy
Emmanuel Müller
Daniel Neider
Show All
Source
Cite
Save
Citations (0)
Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks
2020
PKDD | European Conference on Principles of Data Mining and Knowledge Discovery
Benedikt Böing
Rajarshi Roy
Emmanuel Müller
Daniel Neider
Show All
Source
Cite
Save
Citations (0)
1