Tamás Tóth

Available identifiers

zbMath Open toth.tamasWikidataQ57100117 ScholiaQ57100117MaRDI QIDQ1683454

List of research outcomes

Publication	Date of Publication	Type
Lazy Reachability Checking for Timed Automata with Discrete Variables	2023-03-21	Paper
Configurable verification of timed automata with discrete variables	2022-04-01	Paper
Supplementary Material for the Paper "Configurable Verification of Timed Automata with Discrete Variables"	2020-07-29	Dataset
Lazy reachability checking for timed automata using interpolants	2017-12-01	Paper
A configurable CEGAR framework with interpolation-based refinements	2016-10-19	Paper

Research outcomes over time

This page was built for person: Tamás Tóth