Keyword:Mixed Integer Linear Programming

Papers
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network Toni Mancini, Enrico Tronci, Agostino Scialanca, Filiberto Lanciotti, Alberto Finzi, Riccardo Guarneri and Silvia Di Pompeo EasyChair Preprint no. 416
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications Alexandre Donzé and Vasumathi Raman In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems