DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v34i02.5546,9197,"ToHe,KrCh",All-pay bidding games on graphs
10.1109/RTSS49844.2020.00031,9202,ToHe,Hybridization for stability verification of nonlinear switched systems
10.4230/LIPIcs.CSL.2020.20,7348,ToHe,Monitoring event frequencies
10.1016/j.nahs.2020.100856,7426,ToHe,Abstraction based verification of stability of polyhedral switched systems
10.3233/FAIA200375,7505,ToHe,Outside the box: Abstraction-based monitoring of neural networks
10.1007/978-3-030-45237-7_5,7808,ToHe,How many bits does it take to quantize your neural network?
10.1145/3385412.3385980,8012,ToHe,Inductive sequentialization of asynchronous programs
10.1007/978-3-030-51074-9_2,8194,ToHe,An SMT theory of fixed-point arithmetic
10.1007/978-3-030-53288-8_14,8195,ToHe,Refinement for structured concurrent programs
10.1016/j.tcs.2019.06.031,6761,ToHe,Dynamic resource allocation games
null,10672,"GradSch,ToHe",Learning representations for binary-classification without backpropagation
null,10673,"GradSch,ToHe",A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits
null,9632,"DaAl,ToHe",WoodFisher: Efficient second-order approximation for neural network compression
10.1007/s10009-020-00582-z,10861,ToHe,AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
10.29007/bj1w,8570,ToHe,ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics
10.1109/ijcnn.2019.8851954,6985,ToHe,Response characterization for auditing cell dynamics in long short-term memory networks
10.1145/3286976,7109,ToHe,From real-time logic to timed automata
10.1007/978-3-030-31304-3_9,7147,"CaGu,ToHe",Transient memory in gene regulation
10.1007/978-3-030-32079-9_17,7159,ToHe,Shape expressions for specifying and extracting signal features
10.1007/978-3-030-29662-9_8,7231,ToHe,Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty