activity
20112023
most citedAdversarial Robustness of Deep Code Comment Generation

49 citations · 103 across the 9 of their papers we have counts for

collaborators
Showing 2011Show all

1 paper · 1 filter

cs.LO2011★ 32 cited

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Taolue Chen, Tingting Han, Joost-Pieter Katoen +1

We study the verification of a finite continuous-time Markov chain (CTMC) C against a linear real-time specification given as a deterministic timed automaton (DTA) A with finite or…