Automated Author Profile

Khandait, Tanmay

Arizona State University (ASU), Tempe, USA

Current S-Index

0.9

Sum of Dataset Indices for all datasets

Average Dataset Index per Dataset

0.5

Average Dataset Index per dataset

Total Datasets

2

Total datasets for this author

Average FAIR Score

77.9%

Average FAIR Score per dataset

Total Citations

0

Total citations to the author's datasets

Total Mentions

0

Total mentions of the author's datasets

S-Index Interpretation

S-Index Over Time

Cumulative Citations Over Time

Cumulative Mentions Over Time

Datasets

ARCH-COMP 2023 Category Report: Falsification - Validation

ARCH-COMP 2023 is an international competition on verifying continuous and hybrid systems. This archive refers to the falsification category of this competition. It contains the traces submitted for validation and the corresponding validation results.

Authors

  • Menghi, Claudio ;
  • Arcaini, Paolo ;
  • Baptista, Walstan ;
  • Ernst, Gidon ;
  • Fainekos, Georgios ;
  • Formica, Federico ;
  • Gon, Sauvik ;
  • Khandait, Tanmay ;
  • Kundu, Atanu ;
  • Pedrielli, Giulia ;
  • Peltomäki, Jarkko ;
  • Porres, Ivan ;
  • Ray, Rajarshi ;
  • Waga, Masaki ;
  • Zhang, Zhenya
0 Citations0 Mentions79% FAIR0.5 Dataset Index
10.5281/zenodo.80244262023

ARCH-COMP 2023 Category Report: Falsification - Validation

ARCH-COMP 2023 is an international competition on verifying continuous and hybrid systems. This archive refers to the falsification category of this competition. It contains the traces submitted for validation and the corresponding validation results.

Authors

  • Menghi, Claudio ;
  • Arcaini, Paolo ;
  • Baptista, Walstan ;
  • Ernst, Gidon ;
  • Fainekos, Georgios ;
  • Formica, Federico ;
  • Gon, Sauvik ;
  • Khandait, Tanmay ;
  • Kundu, Atanu ;
  • Pedrielli, Giulia ;
  • Peltomäki, Jarkko ;
  • Porres, Ivan ;
  • Ray, Rajarshi ;
  • Waga, Masaki ;
  • Zhang, Zhenya
0 Citations0 Mentions77% FAIR0.4 Dataset Index
10.5281/zenodo.80244252023