<--- Back to Details
First PageDocument Content
Theoretical computer science / Helmut Veith / Formal methods / TU Wien / Institute for Applied Information Processing and Communications / Software engineering / Verification / Formal verification / Computing
Date: 2017-06-06 20:45:42
Theoretical computer science
Helmut Veith
Formal methods
TU Wien
Institute for Applied Information Processing and Communications
Software engineering
Verification
Formal verification
Computing

RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering

Add to Reading List

Source URL: www.eziobartocci.com

Download Document from Source Website

File Size: 1,13 MB

Share Document on Facebook

Similar Documents

Mathematics / Algebra / Abstract algebra / Distribution / Number theory / Valuation / Universal property / BorelKolmogorov paradox

LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games

DocID: 1xW2u - View Document

Mathematical analysis / Mathematics / Dynamic programming / Markov decision process / Stochastic control / Sigma-algebra

Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2

DocID: 1xW0D - View Document

Debugging / Logic in computer science / Runtime verification / Software optimization / Computing / Instrumentation / Tracing / Information technology management / Management

What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2

DocID: 1xW0i - View Document

Mathematical analysis / Mathematics / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Determinacy / Stochastic game / Linear temporal logic / Markov chain / Markov decision process

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

DocID: 1xVYM - View Document

Artificial intelligence / Multi-agent systems / Modeling and simulation / Systems science / Agent-based model / Artificial life / Complex systems theory / Model checking / Temporal logic / Intelligent agent / Sociology

Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

DocID: 1xVYq - View Document