Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Neider, Daniel
148  Ergebnisse:
Personensuche X
?
1

Topllet: An Optimized Engine for Answering Metric Temporal ..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Westhofen, Lukas ; Neurohr, Christian ; Jung, Jean Christoph. - p. 314-321 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Robust computation tree logic:

Nayak, Satya Prakash ; Neider, Daniel ; Roy, Rajarshi.
Innovations in Systems and Software Engineering.  , 2024
Link: https://doi.org/10.1007/..
 
?
3

Scarlet: Scalable Anytime Algorithms for LearningFragments ..:

Raha, Ritam ; Roy, Rajarshi ; Fijalkow, Nathanaël.
Journal of Open Source Software.  9 (2024)  93 - p. 5052 , 2024
Link: https://doi.org/10.21105..
 
?
4

Specification Sketching for Linear Temporal Logic:

, In: Lecture Notes in Computer Science; Automated Technology for Verification and Analysis,
Lutz, Simon ; Neider, Daniel ; Roy, Rajarshi - p. 26-48 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Synthesizing Efficiently Monitorable Formulas in Metric Tem..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Raha, Ritam ; Roy, Rajarshi ; Fijalkow, Nathanaël.. - p. 264-288 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Robust Alternating-Time Temporal Logic:

, In: Lecture Notes in Computer Science; Logics in Artificial Intelligence,
Murano, Aniello ; Neider, Daniel ; Zimmermann, Martin - p. 796-813 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Track C1: Safety Verification of Deep Neural Networks (DNNs:

, In: Lecture Notes in Computer Science; Bridging the Gap Between AI and Reality,
Neider, Daniel ; Johnson, Taylor T. - p. 217-224 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Deep Anomaly Detection on Tennessee Eastman Process Data:

Hartung, Fabian ; Franks, Billy Joe ; Michels, Tobias...
Chemie Ingenieur Technik.  95 (2023)  7 - p. 1077-1082 , 2023
Link: https://doi.org/10.1002/..
 
?
9

Reinforcement Learning with Temporal-Logic-Based Causal Dia..:

, In: Lecture Notes in Computer Science; Machine Learning and Knowledge Extraction,
Paliwal, Yash ; Roy, Rajarshi ; Gaglione, Jean-Raphaël... - p. 123-140 , 2023
Link: https://doi.org/10.1007/..
 
?
10

Intelligent formal methods 

Combining deductive and inductive reasoning to build reliab... 
Neider, Daniel , 2022
Link: https://nbn-resolving.de..
 
?
11

Being Correct Is Not Enough: Efficient Verification Using R..:

Anevlavis, Tzanis ; Philippe, Matthew ; Neider, Daniel.
ACM Transactions on Computational Logic.  23 (2022)  2 - p. 1-39 , 2022
Link: https://doi.org/10.1145/..
 
?
12

Expanding the Horizon of Linear Temporal Logic Inference fo..:

, In: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW),
Neider, Daniel ; Roy, Rajarshi - p. 103-107 , 2022
Link: https://doi.org/10.1109/..
 
?
13

A Survey of Model Learning Techniques for Recurrent Neural ..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,
Bollig, Benedikt ; Leucker, Martin ; Neider, Daniel - p. 81-97 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Robust Computation Tree Logic:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Nayak, Satya Prakash ; Neider, Daniel ; Roy, Rajarshi. - p. 538-556 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Being Correct Is Not Enough: Efficient Verification Using R..:

Anevlavis, Tzanis ; Philippe, Matthew ; Neider, Daniel.
ACM Transactions on Computational Logic (TOCL).  23 (2022)  2 - p. 1-39 , 2022
Link: https://dl.acm.org/doi/1..
 
1-15