Search Results - "Theory of computation Logic Verification by model checking"

Bayesian hybrid automata: Reconciling formal methods with metrology.

Authors: Kröger, Paul Fränzle, Martin

Source: IT: Information Technology; 2021, Vol. 63 Issue 5/6, p265-275, 11p

Subject Terms: KALMAN filtering, MEASUREMENT errors, METROLOGY, PROBABILISTIC automata, ENGINEERING standards, LINEAR differential equations, PROBABILITY density function

Proving properties of autonomous car manoeuvres in urban traffic.

Authors: Schwammberger, Maike

Source: IT: Information Technology; 2021, Vol. 63 Issue 5/6, p253-263, 11p

Subject Terms: CITY traffic, DRIVERLESS cars, EMERGENCY vehicles, COMPUTER logic

HIGH-LEVEL COUNTEREXAMPLES FOR PROBABILISTIC AUTOMATA.

Authors: WIMMER, RALF JANSEN, NILS ÁBRAHÁM, ERIKA et al.

Source: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-23, 23p

Subject Terms: PROBABILISTIC automata, SYSTEMS theory, COMMAND languages (Computer science), DEBUGGING, COMPUTER systems

PROPOSITIONAL DYNAMIC LOGIC WITH CONVERSE AND REPEAT FOR MESSAGE-PASSING SYSTEMS.

Authors: MENNICKE, ROY

Source: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-35, 35p, 12 Graphs

TWO VARIABLE VS. LINEAR TEMPORAL LOGIC IN MODEL CHECKING AND GAMES.

Authors: BENEDIKT, MICHAEL LENHARDT, RASTISLAV WORRELL, JAMES

Source: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-37, 37p, 4 Charts, 4 Graphs

TIME AND PARALLELIZABILITY RESULTS FOR PARITY GAMES WITH BOUNDED TREE AND DAG WIDTH.

Authors: FEARNLEY, JOHN SCHEWE, SVEN

Source: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-31, 31p, 5 Diagrams