Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems
Symbolic Model Checking for Real-Time Systems
Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving
On statistical model checking of stochastic systems
Stochastic Model Checking
Automatic Hybridization of Runtime Systems
Using behavior models for anomaly detection in hybrid systems
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
A Survey of Automated Techniques for Formal Software Verification
Automatic differentiation of hybrid models Illustrated by Diffedge Graphic Methodology. (Survey)
Symbolic and parametric model checking of discrete-time markov Chains
What's between simulation and formal verification? (extended abstract)
It Usually Works: The Temporal Logic of Stochastic Systems
A collection of tools for making automata theory and formal languages come alive
varieties of learning automata : an overview .
Formal Verification of Autonomous Vehicle Platooning
A specifier's introduction to formal methods
Using JFLAP to interact with theorems in automata theory
A survey of recent advances in SAT-based formal verification
Synchronizable Test Sequences of Finite State Machines
QBF-Based Formal Verification: Experience and Perspectives
Modeling Color Difference for Visualization Design
Host-directed therapies for bacterial and viral infections
Bone marrow failure and the telomeropathies.
Modeling of MEMS capacitive differential pressure sensor
Back to the Future : Towards a Theory of Timed Regular Languages