The following pages link to Sean Sedwards (Q289448):
Displaying 14 items.
- Prosperity is associated with instability in dynamical networks (Q289450) (← links)
- Command-based importance sampling for statistical model checking (Q313977) (← links)
- Decision problems in membrane systems with peripheral proteins, transport and evolution (Q953538) (← links)
- Memory-efficient tactics for randomized LTL model checking (Q1630037) (← links)
- A hierarchy of scheduler classes for stochastic automata (Q1653000) (← links)
- Importance sampling for stochastic timed automata (Q1660773) (← links)
- Rare events for statistical model checking an overview (Q1708653) (← links)
- A multiset-based model of synchronizing agents: Computability and robustness (Q2474434) (← links)
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata (Q2814125) (← links)
- Membrane Systems with Peripheral Proteins: Transport and Evolution (Q2864195) (← links)
- A Platform for High Performance Statistical Model Checking – PLASMA (Q2894294) (← links)
- A LOGICAL CHARACTERIZATION OF ROBUSTNESS, MUTANTS AND SPECIES IN COLONIES OF AGENTS (Q3542879) (← links)
- Combining Game Theory and Graph Theory to Model Interactions between Cells in the Tumor Microenvironment (Q5262536) (← links)
- Falsification of hybrid systems using adaptive probabilistic search (Q6584559) (← links)
